The compiler for the Cm programming language.
Cm is a statically typed native language (targeting LLVM and GLSL), with first-class lambdas and powerful type inference.
There are no functions in this language, it treats them as lambda variables.
With compile-time inlining, functional style codes can run as fast as imperative style ones.
This language doesn't have subtyping, it organize data with structs and extension methods.
Maybe there will be an optional H-M type system, and hole-oriented programming (like Idris).