Mary je programovací jazyk, ktorý vytvorila Mary Sheeran v roku 2002. Je to funkcionálny programovací jazyk s dôrazom na kompozíciu a denotačnú sémantiku.
Mary je staticky typovaný, čisto funkcionálny programovací jazyk. Má eager stratégiu vyhodnocovania a používa eager pattern matching.
Mary je ovplyvnený jazykmi Haskell, Miranda a ML.