Nimrod is a statically typed, imperative programming language that tries to give the programmer ultimate power without compromises on runtime efficiency. This means it focuses on compile-time mechanisms in all their various forms.

via Nimrod Programming Language.

I like the look of this – the syntax is python-esque and it outputs fairly small binaries.