Nimrod

Nimrod is a statically typed, imperative programming language with a powerful macro system that tries to give the programmer ultimate power without compromises on runtime efficiency.