跳转到内容

肯特递归计算器

维基百科,自由的百科全书
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)。