logoalt Hacker News

spicybright • yesterday at 11:15 PM • 2 replies • view on HN

One novel part here is every function is required to have tests that run at compile time.

I'm still skeptical of the value add having to teaching a custom language to an LLM instead of using something like lua or python and applying constraints like test requirements onto that.

Replies

pmontra • today at 7:22 AM

I'm not sure that it's novel but I'm skeptical about the noise to signal ratio for anything that is not an example.

I think that a real world file of source code will be either completely polluted by tests (they are way longer than the actual code they test) or become

  fn process_order {
    ... 
  } 
  shadow process_order {
    assert test_process_order
  }
and the test code will be written in another file, and every function in the test code will have its own shadow function asserting true, to please the compiler.
sinuhe69 • today at 2:59 AM

Pyret, a teaching language for CS, in the vein of Racket, does require testing by writing functions.

https://pyret.org/docs/latest/testing.html