| 编程范型 | 纯函数式 |
|---|---|
| 设计者 | David Turner |
| 发行时间 | 1981年 |
| 稳定版本 | 2016-03-31
（2016年3月31日
） |
| 许可证 | 二条款BSD许可证 |
| 网站 | KRC homepage |
| 受启发于 | |
| SASL | |
| 施影响于 | |
| Miranda | |
KRC（Kent Recursive Calculator：肯特递归计算器）是一种惰性的纯函数式编程语言，由David Turner在1979年11月至1981年10月期间开发[1]，基于了SASL，具有模式匹配、守卫和ZF表达式（现在通常叫做列表推导式）[2]。KRC有两种主要实现：David Turner的最初实现用BCPL写成并运行于EMAS，Simon J. Croft的后来实现用C写成并运行于Unix。KRC在1982年至1985年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言。
KRC的直接后继者是Miranda，它包括了基于Milner的ML的一种多态类型规矩。
延伸阅读
- Functional Programming and its Applications, David A. Turner, Cambridge U Press 1982.
- Turner, D.A. The semantic elegance of Applicative Languages. Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture. Association for Computing Machinery. 1981: 85–92. ISBN 0-89791-060-5.
引用
 | 这是一篇关于计算机程序语言的小作品。你可以通过编辑或修订扩充其内容。 |