Hope




Hope is a small functional programming language developed in the 1970s at the University of Edinburgh.

It predates Miranda and Haskell and is contemporaneous with ML, also developed at the University.

Hope was derived from NPL, a simple functional language developed by Rod Burstall and John Darlington in their work on program transformation.

NPL and Hope are notable for being the first languages with call-by-pattern evaluation and algebraic data types.Hope was named for Sir Thomas Hope (c.

1681–1771), a Scottish agricultural reformer, after whom Hope Park Square in Edinburgh, the location of the Department of Artificial Intelligence at the time of the development of Hope, was also named.