Category:Mercury: Difference between revisions

m
Updated link to official site
(Created page with '{{stub}}{{language}} Mercury is a purely declarative functional logic programming language geared towards real-world applications. It is related to both Prolog and [[Haskel…')
 
m (Updated link to official site)
 
(6 intermediate revisions by 5 users not shown)
Line 1:
{{stub}}{{language}}
{{language
|strength=strong
|site=http://mercurylang.org/
|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
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[[C for Microsoft's .NETsharp|C#]].