3 ms·
So, why someone don't write a stuff like this that takes your source code with tests and "builds" your app by creating the files in your dist without tests? -
by ttty 12y ago
So, why someone don't write a stuff like this that takes your source code with tests and "builds" your app by creating the files in your dist without tests?
- I write the tests
- I run the compiler which transforms the tests into implementation
- Run the implementation
Is this even possible at all in meaningful time?
- benjamincburns 12y agoFor some definitions of "meaningful," yes. Per my other comment, you're describing a declarative language (prolog). Prolog is known for being ridiculously cool, and just as ridiculously slow. That said, I think the same was true for functional languages before the folks behind GHC came along. I'd be curious to see what could happen if some substantial resources (and a few heaps of modern optimisation knowledge) were poured into this sort of language.
- asuffield 12y agoYes, you're talking about Coq. The system in this post is a fairly simple one based on unification; Coq is a full-blown theorem prover.
- omphalos 12y agoThere is an interesting area of computer science called [inductive programming](http://en.wikipedia.org/wiki/Inductive_programming http://en.wikipedia.org/wiki/Inductive_programming) dedicated to this sort of thing, though in a slightly different way than shown in this blog post.