Gont
From its home page (see below):A programming language, that consists of largely imperative composition of C-like lexical layer, control structures and speed with ML's type system, functions as first class citizens, and safety. Plus possibly few more things, like objects.