Hope is a minimalist functional programming language developed in the 1970s at the University of Edinburgh by R. M. Burstall, Don Sanella and Dave McQueen that operates on polymorphic data types. It influenced the design of other lazy languages, such as Miranda and Haskell, being contemporary the ML language also developed at the University of Edinburgh. Hope is the first functional language to use call by default being derived from the NPL language, a simple functional language developed by Rod Burstall and John Darlington.
The source code made available here was written by Professor Ross Paterson and is available in its original form at (http://web.archive.org/web/20110709142512/http://www.soi.city.ac.uk/~ross/Hope/).
The goal of this project is to preserve Hope in its original form, so the only changes being made are fixes required to get it to build on modern systems.