Malfoy

A language that compiles to Malfunction, for no particular reason.

Features:

• ML-like type system
• First-class behavioural types
• Structural typing based on row polymorphism
• Global type inference
• Cleaned-up ML-like syntax
• OCaml-compatible generated code
• Session-based concurrency primitives in the standard library
• Bindings to native C code