Build status:
Learn pure functional language design.
- experiment with a row polymorphic algebraic effect system
- experiment with existential types
- do it in a pure functional language
Timeline:
- lexer, parser, typeck
- tree-walk
- IR, optimize
- bytecode VM
(keep plans in private notes)