肯特递归计算器

KRC（Kent Recursive Calculator：肯特递归计算器）是一种惰性的纯函数式编程语言，由在1979年11月至1981年10月期间开发Dates in the commentary to the BCPL KRC source code for EMAS.，基于了SASL，具有模式匹配、守卫和ZF表达式（现在通常叫做列表推导式）。KRC有两种主要实现：David Turner的最初实现用BCPL写成并运行于，Simon J. Croft的后来实现用C写成并运行于Unix。KRC在1982年至1985年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言。

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

延伸阅读



引用

Category:函数式编程语言
Category:模式匹配编程语言
Category:肯特大学