Máni es un lenguaje de programación funcional creado por Jón Fairbairn y
Sigfús Sigurðarson. Recibe su nombre de la piedra Máni, una piedra rúnica nórdica.
Máni es un lenguaje de programación funcional puro con tipado estático e inferencia de tipos.
inferencia de tipos. Tiene una estrategia de evaluación ansiosa y utiliza una estrategia de reducción de orden aplicativo.
estrategia de reducción de orden aplicativo. Máni tiene un sistema de módulos sencillo y
y una interfaz de funciones externas para interactuar con código C.
Máni está influenciado por la familia de lenguajes ML, Haskell y Scheme.
Toma prestadas características de estos lenguajes como la inferencia de tipos,
tipos de datos algebraicos, concordancia de patrones y funciones de orden superior.
Máni es un proyecto de código abierto publicado bajo la licencia MIT.