Mary je programovací jazyk, který v roce 2002 vytvořila Mary Sheeran. Jedná se o funkcionální programovací jazyk s důrazem na kompozici a denotační sémantiku.
Mary je staticky typovaný, čistě funkcionální programovací jazyk. Má vyhodnocovací strategii eager a používá eager pattern matching.
Mary je ovlivněn jazyky Haskell, Miranda a ML.