undefined | Better HN

0 pointsandy977510y ago0 comments

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.

0 comments

PeCaN10y 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)

andy9775OP10y ago

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

j / k navigate · click thread line to collapse

0 comments

PeCaN10y 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)

andy9775OP10y ago

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

j / k navigate · click thread line to collapse