What: | Mercury |
Where: | http://www.cs.mu.oz.au/mercury/ http://www.cs.mu.oz.au/research/mercury/download/release.html |
Description: | A GPL logic functional programming language. Has the semantics of modern functional programming, and expressiveness of logic languages. Has a strong type system, a module system, a mode system, algebraic data types, parametic polymorphism, support for higher order programming and a determinism system. Addresses problems of large scale program development. The extras tar file contains bindings for Tcl/Tk as well as a lot of other libraries and goodies. |
Updated: | 10 Oct 2006 (Mercury 0.13.0 was released on September 14, 2006) |
Contact: | mailto:[email protected] |