An interesting C derivative that has borrowed from many other languages - including those of the ML family. A C with type safety, memory management (though still manual memory management), polymorphic functions, pattern matching, type inference and many other nice features. Packaged in a perversely bloated syntax that builds on the already perverse C syntax