Mary is a programming language created by Mary Sheeran in 2002. It is a functional programming language with an emphasis on composition and denotational semantics.
Mary is a statically typed, pure functional programming language. It has an eager evaluation strategy and uses eager pattern matching.
Mary is influenced by Haskell, Miranda, and ML.