Version 2 of Mercury

Updated 2006-10-11 03:17:41

What: Mercury

 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] 

Category Language