3 ms·
Unison language has a beautiful idea to solve this https://www.unisonweb.org/docs/tour/#%F0%9F%A7%A0-the-big-technical-idea https://www.unisonweb.org/docs/tour/
by dandanua 7y ago
Unison language has a beautiful idea to solve this https://www.unisonweb.org/docs/tour/#%F0%9F%A7%A0-the-big-technical-idea https://www.unisonweb.org/docs/tour/#%F0%9F%A7%A0-the-big-te...
I didn't dive deep and still a bit skeptical, but it looks very promising.
- jmiskovic 7y agoI agree, hashing content of syntax sub-tree is great idea. Also I like the idea of personalizing the interpreter, like output "I found and typechecked these definitions". Now when things go wrong you have somebody to be angry at.