Nimrod is a statically typed, compiled, imperative programming language with runtime efficiency. 

http://nimrod-lang.org/

----
CategoryProgrammingLanguage