Hope este un mic limbaj de programare funcțional dezvoltat în anii 1970 la Universitatea din Edinburgh.[1][2] Înainte de Miranda și Haskell și este contemporan cu ML, de asemenea, dezvoltat la Universitate. Hope a fost derivată din NPL,[3] un limbaj simplu funcțional dezvoltat de Rod Burstall și John Darlington în lucrarea lor de transformare a programelor.[4] NPL și Hope sunt notabile pentru a fi primele limbi cu evaluarea prin tipare de tip și tipuri de date algebrice.[5]
^Burstall R.M, MacQueen D.B, Sannella D.T. (1980) Hope: An Experimental Applicative Language. Conference Record of the 1980 LISP Conference, Stanford University, pp. 136-143.
^
Bailey, Roger (). Functional Programming with Hope. Ellis Horwood Series in Computers and Their Applications. Ellis Horwood Ltd.
^R.M. Burstall. Design considerations for a functional programming language. Invited paper, Proc. Infotech State of the Art Conf. “The Software Revolution”, Copenhagen, 45–57 (1977)
^R.M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the Association for Computing Machinery, 24(1):44–67 (1977)