A language designed to test out ideas I think are neat and worth exploring more. This is not necessarily a simple or good language, but more an arrangement of ideas I wanted to flesh out some more and think might combine to produce a splendid arrangement.
The big ideas of the language are:
- Structural typing (based on Abstracting Extensible Datatypes series of papers)
- Algebraic Effects in the style of Koka (Generalized Evidence Passing for Effect Handlers)
- Strong Mixin Modules (Mixin' Up the ML Module System)
- Local coherent implicits (based on COCHIS)