EYG
- minimal ast to improve tooling many editors and type systems
- explicit interaction to be runtime independent, a zoo of concurrency mechanisms
Follow acedemia so that I can prove things like never crashing
I always had a slight problem with unification unify has to apply to all remaining rules
unify(left, right, s, next) where do I need to apply to keep the new things coming in
khoury explains threading S through. Is there a fold version
Lambda calculus
literals and builtins
fix point
strings
records | | rows arrays |
unions
effects
[equality is special]
Intepreter CEK
Compilation