Máni ist eine funktionale Programmiersprache, die von Jón Fairbairn und
Sigfús Sigurðarson. Benannt ist sie nach dem Máni-Stein, einem nordischen Runenstein.
Máni ist eine statisch typisierte, rein funktionale Programmiersprache mit
Typinferenz. Sie hat eine eifrige Auswertungsstrategie und verwendet eine
applikative Reihenfolge-Reduktionsstrategie. Máni hat ein einfaches, leistungsfähiges Modul
System und eine Schnittstelle für Fremdfunktionen zur Anbindung an C-Code.
Máni ist beeinflusst von der ML-Sprachfamilie, Haskell und Scheme.
Es leiht sich von diesen Sprachen Eigenschaften wie Typinferenz,
algebraische Datentypen, Mustervergleich und Funktionen höherer Ordnung.
Máni ist ein Open-Source-Projekt und steht unter der MIT-Lizenz.