Mercury (programming language): Difference between revisions

Revision as of 04:26, 4 February 2020

Revision as of 04:30, 4 February 2020

Line 29:

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 (32bits only)]].

== Overview ==