3 ms·
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 lang
by spicybright 9mo ago
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.
- sinuhe69 9mo agoPyret, a teaching language for CS, in the vein of Racket, does require testing by writing functions. https://pyret.org/docs/latest/testing.html https://pyret.org/docs/latest/testing.html
- pmontra 9mo agoI'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.