Mercury (programming language): Difference between revisions

Revision as of 15:07, 19 February 2024

Latest revision as of 11:00, 28 August 2025

(6 intermediate revisions by 6 users not shown)

Line 2:

{{For|Mercury Autocode|Autocode}}

{{Distinguish|Mercurial|Mercury (RemObjects BASIC programming language)}}

{{Infobox programming language

| name = Mercury

| logo = Mercury (programming language) logo.jpg

| paradigm = [[Logic programming|Logic]], [[Functional programming|functional]], [[Object-oriented programming|object-oriented]]{{citation needed|date=February 2024}}

| family = [[Prolog]], [[Haskell]]

| designer = Zoltan Somogyi

| developer = [[University of Melbourne]]

| released = {{Start date and age|1995|04|08}}
| latest release version = {{wikidata|property|preferred|references|edit|P348|P548=Q2804309}}
| latest release date = {{Start date and age|{{wikidata|qualifier|preferred|single|P348|P548=Q2804309|P577}}|df=yes}}

| typing = [[Strong and weak typing|Strongstrong]], [[Type system#Static type checking|static]], [[Polymorphism (computer science)|polymorphic]]

| scope = [[Scope (computer science)|lexical]]

| programming language = Mercury

| platform = [[IA-32]], [[x86-64]], [[ARM architecture family|ArmARM]], [[SPARC|Sparc64]]64, [[Java (software platform)|Java]], [[Common Language Infrastructure|CLI]]

| operating system = [[Cross-platform software|Cross-platform]]: [[Unix]], [[Linux]], [[macOS]], [[Oracle Solaris (operating system)|Solaris]], [[FreeBSD]], [[OpenBSD]], [[Microsoft Windows|Windows]], [[Android (operating system)|Android]]

| license = [[GNU General Public License|GPL]] compiler,<br />[[GNU Lesser General Public License|LGPL]] standard library

| file ext = .m

| file format =

Line 22 ⟶ 23:

| implementations = Melbourne Mercury Compiler

| dialects =

| influenced by = [[Prolog]], [[Hope (programming language)|Hope]], [[Haskell (programming language)|Haskell]]

| influenced =

}}

'''Mercury''' is a [[functional logic programming]] language made for real-world uses. 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.

Mercury is a purely [[Declarative programming|declarative]] [[logic programming]] language. It is related to both [[Prolog]] and [[Haskell (programming language)|Haskell]].<ref name="motivation">[http://www.mercurylang.org/about/motivation.html The Mercury Project - Motivation]</ref> It features a strong, static, polymorphic [[type system]], and a strong mode and determinism system.

The official implementation, the Melbourne Mercury Compiler, is available for most [[Unix]] and [[Unix-like]] platforms, including [[Linux]], [[macOS]], and for [[Microsoft Windows|Windows]].

Line 135 ⟶ 136:

==Release schedule==

The stable release naming scheme was 0.1 up to 0.13 for the first thirteen stable releases. In February 2010 the Mercury project decided to name each stable release by using the year and month of the release. For example 10.04 is for a release made in April 2010.

There is often also a periodic snapshot of the development system ''release of the day'' (ROTD)

Line 159 ⟶ 160:

* {{Official website|www.mercurylang.org}}

<br />

{{DEFAULTSORT:Mercury (programming language)}}

[[Category:Cross-platform free software]]

Line 165:

[[Category:.NET programming languages]]

[[Category:Programming languages created in 1995]]

[[Category:Statically typed programming languages]]