mdl compiler written in Haskell
= Haskell mdl compiler
mdl is a C-like programming language specialized for writing Global Script implementations.
Some features in mdl but not in C:
* Garbage collection
* Green threads
* Variable-sized objects
* Sequences of variable-sized objects, such as programming-language stacks
The GC and green threading in mdl integrate with the ones in Global Script,
and the plan is to replace Global Script's GC and threading with mdl's.