跳转到内容

肯特递归计算器

维基百科,自由的百科全书
KRC
编程范型纯函数式
设计者David Turner英语David Turner (computer scientist)
发行时间1981年,​43年前​(1981
许可证二条款BSD许可证
网站KRC homepage
启发语言
SASL
影响语言
Miranda

KRCKent Recursive Calculator:肯特递归计算器)是一种惰性纯函数式编程语言,由David Turner英语David Turner (computer scientist)在1979年11月至1981年10月期间开发[1],基于了SASL,具有模式匹配守卫ZF表达式(现在通常叫做列表推导式[2]。KRC有两种主要实现:David Turner的最初实现用BCPL写成并运行于EMAS英语Edinburgh Multiple Access System,Simon J. Croft的后来实现用C写成并运行于Unix。KRC在1982年至1985年期间是在坎特伯雷肯特大学用于教授函数式编程的主要语言。

KRC的直接后继者是Miranda,它包括了基于Milner的ML的一种多态类型规矩。

延伸阅读

[编辑]

引用

[编辑]
  1. ^ Dates in the commentary to the BCPL KRC source code for EMAS.
  2. ^ 本条目部分或全部内容出自以GFDL授权发布的《自由线上电脑词典》(FOLDOC)。