Hope (programming language)

Hope is a <a href="/facts/Programming_language/cWTYbgWa">programming language</a> based on <a href="/facts/Functional_programming/cdxqPEIM">functional programming</a> developed in the 1970s at the <a href="/facts/University_of_Edinburgh/L69HscH9">University of Edinburgh</a>.
It predates <a href="/facts/Miranda_/t9A6GFYv">Miranda</a> and <a href="/facts/Haskell/ydEsHuGy">Haskell</a> and is contemporaneous with <a href="/facts/ML_/RfwxASRF">ML</a>, also developed at the University. Hope was derived from <a href="/facts/NPL_/Pdw0t7LF">NPL</a>, a simple functional language developed by <a href="/facts/Rod_Burstall/BhNTxat5">Rod Burstall</a> and <a href="/facts/John_Darlington/EfKAWHDz">John Darlington</a> in their work on program transformation. NPL and Hope are notable for being the first languages with call-by-pattern evaluation and <a href="/facts/Algebraic_data_type/Fn9KhnAb">algebraic data types</a>.
Hope was named for <a href="/facts/Sir_Thomas_Hope%2c_8th_Baronet/7WVl4XEh">Sir Thomas Hope</a> (c. 1681–1771), a Scottish <a href="/facts/Agriculture/TGztqzJs">agriculture</a> reformer, after whom Hope Park Square in <a href="/facts/Edinburgh/PcsoaK9h">Edinburgh</a>, the location of the <a href="/facts/Artificial_intelligence/lJGauQwX">artificial intelligence</a> department at the time of the development of Hope, was also named.
The first implementation of Hope used <a href="/facts/Strict_evaluation/vLXH27zR">strict evaluation</a>, but there have since been <a href="/facts/Lazy_evaluation/mD3DxDkc">lazy evaluation</a> versions and strict versions with lazy constructors. A successor language Hope+, developed jointly between <a href="/facts/Imperial_College/SoXBRyax">Imperial College</a> and <a href="/facts/International_Computers_Limited/2ztan410">International Computers Limited</a>, added annotations to dictate either strict or lazy evaluation.

Hope (programming language) open-in-new

Hope (programming language)