Nemerle

Nemerle je staticky typovaný, multiparadigmatický programovací jazyk inšpirovaný jazykmi C#, Java a Scala. Marek Safar a ďalší prispievatelia ho vyvíjajú od roku 2003. Nemerle je primárne funkcionálny programovací jazyk, ale podporuje aj objektovo orientované a imperatívne programovanie. Je typovo bezpečný a garbage-collected. Nemerle má jednoduchý a jednotný objektový model, ktorý je inšpirovaný modelom Javy. Každá hodnota je objekt a každý typ je trieda. Nemerle má jednu koreňovú triedu s názvom Object, z ktorej dedia všetky ostatné triedy. Nemerle má výkonný typový systém, ktorý zahŕňa typovú inferenciu, generické typy, typy vyššieho rádu a typy union. Nemerle má aj pokročilý systém makier, ktorý umožňuje programátorovi rozširovať jazyk. Nemerle je slobodný softvér vydaný pod licenciou MIT.