Mercury
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.
| Tags | Software Development Compilers |
|---|---|
| Licenses | GPL LGPL |
| Operating Systems | Windows Windows POSIX Linux |
| Implementation | Other |
Recent releases
- 15 Aug 2001 11:02
Changes: New features in the Mercury language are explicit type qualification, tuples, record syntax, and more. A new compiler back-end is featured, for improved compilation speed, better portability, and sometimes better performance (the original back-end is still included. Another new back-end that compiles directly to assembler, using the GCC back-end. New standard library modules for pretty printing, managing counters, enumerations, bitsets, hash tables, and packages for parser generation, concurrency, streams, and XML have been added.
- 30 Jan 2001 06:13
Changes: The Mercury type system now supports existentially quantified types. We now allow abstract instance declarations. We now support a simple form of user-defined infix operators. Exception handling support is now part of the standard library. There are two new standard library modules `time' and `gc'. We've added function versions of many of the predicates in the Mercury standard library. We've added support for optional lazy evaluation. The extras distribution now includes support for dynamic linking. We've added some bindings to POSIX.3 functionality.
- 30 Jan 2001 06:13
Changes: Fixes for building binary distributions. More binary distributions available.
- 30 Jan 2001 06:13
No changes have been submitted for this release.
