Hope (programming language): Difference between revisions

Revision as of 04:48, 15 July 2005

Revision as of 15:58, 11 October 2005

Line 1:

'''Hope''' is a small [[functional (programming)|functional]] [[programming language]], with [[strongly-typed programming languages|strong]] [[polymorphism (computer science)|polymorphic typing]], [[algebraic datatypesdata type]]s, [[pattern matching]], and [[higher-order functions]]. It has [[call-by-pattern evaluation]]. The first implementation of Hope was strict, but since that one there have been lazy versions and strict versions with lazy constructors. Hope is [[purely functional]].

A factorial program in Hope is