4 ms·
Idris’ codegen comes to mind... just write the types and automation will write most of the code for you.
by zeckalpha 9y ago
Idris’ codegen comes to mind... just write the types and automation will write most of the code for you.
- yorwba 9y agoThat doesn't fundamentally change anything, though. It just puts the code that matters in the types. Just like macros, or procedures, or assembly; it only changes how a program is specified. It does not automate away the ability to transform fuzzy business requirements into deterministic logic by describing a way to achieve them in a formal language, i.e. "programming".
- zeckalpha 9y agoIt is a new layer of abstraction. A new “secret weapon”: http://www.paulgraham.com/avg.html http://www.paulgraham.com/avg.html