Mary ist eine Programmiersprache, die von Mary Sheeran im Jahr 2002 entwickelt wurde. Es handelt sich um eine funktionale Programmiersprache mit dem Schwerpunkt auf Komposition und denotationaler Semantik.
Mary ist eine statisch typisierte, rein funktionale Programmiersprache. Sie hat eine eifrige Auswertungsstrategie und verwendet eifrigen Mustervergleich.
Mary ist beeinflusst von Haskell, Miranda und ML.