Mercury is a functional logic programming language designed for real-world applications, developed at the University of Melbourne by Zoltan Somogyi and colleagues, and first released in 1995. It combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features, including a strong type system, mode system, and determinism system, and compiles to efficient native code.
Facts
First Released ParadigmLogic, functional, object-oriented 2 SignificanceA functional logic language made for real-world uses, with a strong static type system and a mode and determinism system. 2 Classification
Typing Discipline Typing Discipline Connections
Follows Typing Discipline
Entity-backed identity for the typing discipline value this language already carries as an enum fact, resolved to a concept entity by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The enum fact itself stays on the entity unchanged.
Entity-backed identity for the typing discipline value this language already carries as an enum fact, resolved to a concept entity by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The enum fact itself stays on the entity unchanged.
In Field
Source Mercury (programming language) - Wikipedia
Influenced By
Sources
1. Wikidata: Mercury
- Wikidata Q206040, class allow-list match (w-wdresolver-0926)
- Wikidata Q206040 P571 (inception)
- Wikidata Q206040 P7078 (typing discipline)
View the Source2. Mercury (programming language) - Wikipedia
Infobox
First appeared April 8, 1995
Infobox, Paradigm
Logic, functional, object-oriented
Lead section
Mercury is a functional logic programming language made for real-world uses.
In Field: Programming Language Theory, Lead sentence
Mercury is a functional logic programming language made for real-world uses.
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.