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 Mercury
Filter Results1 entry
FAQs
What kind of language is Mercury and where was it developed?
A functional logic language developed at the University of Melbourne and released in 1995.
Mercury is a functional logic programming language made for real-world uses, and it is a purely declarative logic programming language. The first version was developed at the University of Melbourne, Computer Science department, by Fergus Henderson, Thomas Conway and Zoltan Somogyi, under Somogyi's supervision, and released on April 8, 1995.
Connections
Follows Typing Discipline
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: released
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.
In Group: Answer Set and Functional Logic Languages, Lead
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.