Mary es un lenguaje de programación creado por Mary Sheeran en 2002. Es un lenguaje de programación funcional con énfasis en la composición y la semántica denotacional.
Mary es un lenguaje de programación funcional puro, estáticamente tipado. Tiene una estrategia de evaluación ansiosa y utiliza concordancia de patrones ansiosa.
Mary está influenciado por Haskell, Miranda y ML.