Hope语言

来自维基百科,自由的百科全书

Hope是一种小型纯函数式编程语言[1],由Rod Burstall英语Rod Burstall、David MacQueen和Don Sannella英语Don Sannella,在1970年代于爱丁堡大学于开发[2]。Hope派生自NPL语言[3],是MirandaHaskell的先驱,并与在同一所大学开发的ML同时代。NPL和Hope著称于,是具有传模式调用的求值代数数据类型的最初的语言[4]

事实速览 编程范型, 设计者 ...
Hope
编程范型纯函数式
设计者Rod Burstall英语Rod Burstall, David MacQueen, Don Sannella英语Don Sannella
发行时间1980年,​44年前​(1980
受影响于
NPL
影响语言
Standard MLMiranda
关闭

Hope以Sir Thomas Hope英语Sir Thomas Hope, 8th Baronet(约1681年–1771年)命名。

语言细节

阶乘程序用Hope写为:

dec fact : num -> num;
--- fact 0 <= 1;
--- fact n <= n*fact(n-1);

改变子句的次序不改变程序的含义,因为Hope的模式匹配,总是偏好更加特殊的模式,胜过不太特殊的模式。在Hope要求显式类型声明;在Hope中没有使用类型推论的选择余地。

Hope提供两种内置数据结构:元组和列表[5]

引用

外部链接

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.