Current Directory:

Computers > Programming > Languages > Mercury

Directories

NET (1)

Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.

Related Categories

Computers / Programming / Languages / Functional (86)
Computers / Programming / Languages / Garbage Collected (189)
Computers / Programming / Languages / Logic-based / Functional Logic (10)
Computers / Programming / Languages / Open Source (71)

Computers > Programming > Languages > Mercury

News Groups

comp.lang.functional

Links:

Mercury Project

New logic/functional programming language. Combines clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Optimized execution is far faster than extant logic languages, and near that of procedura
http://www.cs.mu.oz.au/research/mercury/

MCORBA

A CORBA binding for Mercury. It allows you to use CORBA objects from Mercury, and allows you to implement CORBA objects in Mercury. This means you can write distributed systems in Mercury, or use Mercury to implement part of a component-based system.
http://www.mercury.cs.mu.oz.au/mcorba.html