3 ms·

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

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.

PeCaN 11y ago
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)
- andy9775 11y ago
  I was joking clearly. Thought the ridiculousness of the idea make that clear.