Nemerle

Nemerle — это гибридный язык высокого уровня со статической типизацией, органично сочетающий в себе возможности функционального и объектно-ориентированного программирования. Главная особенность языка, это очень мощная система метапрограммирования. Реализована поверх .NET и Mono, компилируется в MSIL (и является CLS-compliant).