Hope是一种小型纯函数式编程语言,由、David MacQueen和,在1970年代于爱丁堡大学于开发。Hope派生自NPL语言,是Miranda和Haskell的先驱,并与在同一所大学开发的ML同时代。NPL和Hope著称于,是具有传模式调用的求值和代数数据类型的最初的语言。
Hope以(约1681年–1771年)命名。
语言细节
斐波那契数程序用Hope写为:
dec fib : num -> num
--- fib(0)
改变子句的次序不改变程序的含义,因为Hope的模式匹配,总是偏好更加特殊的模式,胜过不太特殊的模式。在Hope要求显式类型声明;在Hope中没有使用类型推论的选择余地。
Hope后来在列表之外增加了元组作为内建数据结构。
引用
外部链接
*[https://web.archive.org/web/20130801064002/http://www.hopemachine.co.uk/ Hope Interpreter for Windows]
评论 (0)