Anonymous user
Category:Mercury: Difference between revisions
m
Fixed up, paradigm, lang params, you don't need line breaks like this...that's weird
(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 (Fixed up, paradigm, lang params, you don't need line breaks like this...that's weird) |
||
Line 1:
{{stub}}{{language
|strength=strong
|checking=static}}
{{language programming paradigm|functional}}
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]].
| |||