Nemerle

Nemerle é uma linguagem de programação de tipo estático, multi-paradigma inspirada em C#, Java e Scala. Tem estado em desenvolvimento desde 2003 por Marek Safar e outros colaboradores. Nemerle é principalmente uma linguagem de programação funcional, mas também suporta programação orientada a objectos e imperativa. É segura para o tipo e recolhida em sacos de roupa. Nemerle tem um modelo de objecto simples e uniforme, que é inspirado no de Java. Cada valor é um objecto e cada tipo é uma classe. Nemerle tem uma única classe raiz, chamada Objecto, da qual todas as outras classes herdam. Nemerle tem um sistema de tipo poderoso, que inclui inferência de tipo, genéricos, tipos de ordem superior e tipos de união. Nemerle tem também um sistema de macro avançado, que permite ao programador estender a linguagem. Nemerle é software livre, lançado sob a licença do MIT.