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