Nemerle

Nemerle je staticky typovaný, multiparadigmatický programovací jazyk inspirovaný jazyky C#, Java a Scala. Od roku 2003 jej vyvíjí Marek Safar a další přispěvatelé. Nemerle je především funkcionální programovací jazyk, ale podporuje také objektově orientované a imperativní programování. Je typově bezpečný a garbage-collected. Nemerle má jednoduchý a jednotný objektový model, který je inspirován modelem Javy. Každá hodnota je objekt a každý typ je třída. Nemerle má jedinou kořenovou třídu Object, ze které dědí všechny ostatní třídy. Nemerle má výkonný typový systém, který zahrnuje typovou inferenci, generika, typy vyššího řádu a typy union. Nemerle má také pokročilý systém maker, který programátorovi umožňuje jazyk rozšiřovat. Nemerle je svobodný software vydaný pod licencí MIT.