Version 0 of Mercury

Updated 2006-10-10 18:16:39

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: 11/1997
 Contact: mailto:[email protected] 

Category Language