Category:Mercury: Difference between revisions

Official website
Type strength:	Strong;
Type checking:	Static
See Also:	Mercury on the HOPL; ;

Content added Content deleted

Inline

Latest revision as of 20:14, 17 March 2014

This page is a stub. It needs more information! You can help Rosetta Code by filling it in!

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, Erlang, and C#.

Subcategories

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

@

Mercury examples needing attention‎ (empty)
Mercury Implementations‎ (empty)
Mercury User‎ (9 P)

Pages in category "Mercury"

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

1

9

99 bottles of beer

A

B

C

D

E

F

G

H

I

L

M

N

Numerical integration/Adaptive Simpson's method

O

P

Q

R

S

T

U

V

W

Write float arrays to a text file

Z

@@ Line 1: / Line 1: @@
-{{stub}}{{language
+{{stub}}
+{{language
 |strength=strong
+|site=http://mercurylang.org/
-|checking=static}}
+|checking=static}}[[runs on vm::java virtual machine| ]][[runs on vm::common language runtime| ]]
+{{language programming paradigm|Declarative}}
 {{language programming paradigm|functional}}
+{{language programming paradigm|Logic_Programming}}
 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]].
+Mercury has several back-ends, Low-level [[C]], High-level [[C]], [[Java]], [[Erlang]], and [[C sharp|C#]].