Mercury

Functional logic programming language

1995Appeared

static typing, parametric polymorphism, uniqueness typing, strong typingType system

22.01.9Latest version

Facts

Appeared: 1995
Type system: static typing, parametric polymorphism, uniqueness typing, strong typing
Latest version: 22.01.9 (August 30, 2026)
Kind: multi-paradigm programming language, purely functional programming language, functional programming language, object-based language
Paradigms: functional programming, logic programming, purely functional programming, multi-paradigm programming, object-oriented programming
Developer: University of Melbourne
Influenced by: Prolog, Haskell, Hope
File extensions: .m
Licence: GNU General Public License
Influences listed: 3