MERCURY

Updated 7 days ago
  • ID: 17399375/141
Mercury is a pure logic programming language intended for the creation of large, fast, reliable programs. The syntax of Mercury is based on the syntax of Prolog, but semantically the two languages are very different due to Mercury's purity, its type, mode, determinism and module systems... Mercury's type system is based on many-sorted logic with parametric polymorphism, very similar to the type systems of modern functional languages such as ML and Haskell. Programmers must declare the types they need using declarations such as... Programs consist of one or more modules. Each module has an interface section that contains the declarations for the types, functions and predicates exported from the module, and an implementation section that contains the definitions of the exported entities and also definitions for types and predicates that are local to the module. A type whose name is exported but whose definition is not, can be manipulated only by predicates in the defining module; this..
  • 0
  • 0
Interest Score
4
HIT Score
0.76
Domain
mercurylang.org

Actual
mercurylang.org

IP
45.56.89.38

Status
OK

Category
Company, Other

People Also Viewed


  1. HAVENN - havenn.net
  2. Q595 - q595.com
  3. WHITE WOOD MANAGEMENT - whitewoodmanagement.co.uk
  4. KOKBAN - kokban.co.in
  5. PERFORMANCE SAMPLES - performancesamples.com
0 comments Add a comment