Mercury (programming language): Difference between revisions

Revision as of 17:07, 19 February 2024

Revision as of 10:13, 4 August 2024

Line 14:

| scope =

| programming language = Mercury

| platform = [[IA-32]], [[x86-64]], [[ARM architecture family|Arm]], [[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:

| 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 159:

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

<br />

{{DEFAULTSORT:Mercury (programming language)}}

[[Category:Cross-platform free software]]