Mary

Mary é uma linguagem de programação criada por Mary Sheeran em 2002. É uma linguagem de programação funcional com ênfase na composição e semântica denotativa. Mary é uma linguagem de programação estaticamente dactilografada e puramente funcional. Tem uma estratégia de avaliação ávida e utiliza uma correspondência de padrões ávida. Mary é influenciada por Haskell, Miranda, e ML.