Mary

Mary est un langage de programmation créé par Mary Sheeran en 2002. C'est un langage de programmation fonctionnel qui met l'accent sur la composition et la sémantique dénotationnelle. Mary est un langage de programmation fonctionnel pur, typage statique. Il possède une stratégie d'évaluation rapide et utilise le filtrage rapide. Mary est influencé par Haskell, Miranda et ML.