Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Similar idea but what if you were to write your tests first and then upload them to a site that pieces together the required modules to pass them and generates an API against the modules.


Because finding code that passes arbitrary tests is undecidable in the general case.

(Same reason the pseudo-Idris language would have to be non-Turing-complete)


I was joking clearly. Thought the ridiculousness of the idea make that clear.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: