Nemerle

Nemerle es un lenguaje de programación multiparadigma de tipado estático inspirado en C#, Java y Scala. Marek Safar y otros colaboradores lo desarrollan desde 2003. Nemerle es principalmente un lenguaje de programación funcional, pero también admite programación orientada a objetos e imperativa. Es seguro y recolecta basura. Nemerle tiene un modelo de objetos sencillo y uniforme, inspirado en el de Java. Cada valor es un objeto y cada tipo es una clase. Nemerle tiene una única clase raíz, llamada Object, de la que heredan todas las demás clases. Nemerle tiene un potente sistema de tipos, que incluye inferencia de tipos, genéricos, tipos de orden superior y tipos de unión. Nemerle también tiene un avanzado sistema de macros, que permite al programador extender el lenguaje. Nemerle es software libre, publicado bajo la Licencia MIT.