Category:Mercury: Difference between revisions

From Rosetta Code
Content added Content deleted
m (mark as running on JVM and CLR)
No edit summary
Line 1: Line 1:
{{stub}}{{language
{{stub}}{{language
|strength=strong
|strength=strong
|site=http://www.mercury.csse.unimelb.edu.au/
|checking=static}}[[runs on vm::java virtual machine| ]][[runs on vm::common language runtime| ]]
|checking=static}}[[runs on vm::java virtual machine| ]][[runs on vm::common language runtime| ]]
{{language programming paradigm|Declarative}}
{{language programming paradigm|Declarative}}

Revision as of 22:43, 9 July 2011

This page is a stub. It needs more information! You can help Rosetta Code by filling it in!
Language
Mercury
This programming language may be used to instruct a computer to perform a task.
Official website
Type strength: Strong
Type checking: Static
See Also:


Listed below are all of the tasks on Rosetta Code which have been solved using Mercury.


Mercury is a purely declarative functional logic programming language geared towards real-world applications. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, as well as a strong mode and determinism system.

Mercury has several back-ends, Low-level C, High-level C, Java bytecode for the JVM, Erlang, and IL for Microsoft's .NET.

Subcategories

This category has the following 3 subcategories, out of 3 total.

Pages in category "Mercury"

The following 127 pages are in this category, out of 127 total.