Máni est un langage de programmation fonctionnel créé par Jón Fairbairn et
Sigfús Sigurðarson. Il tient son nom de la pierre Máni, une pierre runique nordique.
Máni est un langage de programmation fonctionnel pur, typage statique, avec inférence de type.
inférence de type. Il possède une stratégie d'évaluation rapide et utilise une
stratégie de réduction de l'ordre applicatif. Máni dispose d'un système de modules simple et puissant
simple et puissant et d'une interface de fonctions étrangères pour l'interfaçage avec le code C.
Máni est influencé par la famille des langages ML, Haskell et Scheme.
Il emprunte à ces langages des caractéristiques telles que l'inférence de type,
les types de données algébriques, le filtrage et les fonctions d'ordre supérieur.
Máni est un projet open source publié sous la licence MIT.