1970年代开发的小型函数式编程语言。Hope派生自NPL，它是和John Darlington在他们关于程序变换着作中的简单函数式语言。它是Miranda和Haskell的先驱，并与在同一所大学开发的ML同时代。NPL和Hope着名于是具有传模式调用的求值和的最初语言。Hope以（约1681年–1771年）命名。
语言细节.阶乘程序用Hope写为：改变子句的次序不改变程序的含义，因为Hope的模式匹配总是偏好更加特殊的模式胜过不太特殊的模式。在Hope要求显式类型声明；在