肯特递归计算器 KRCKent Recursive Calculator肯特递归计算器是一种惰性的纯函数式编程语言由David Turner英语David Turner computer scientist在年月至年月期间开发基于了SASL具有模式匹配守卫和ZF表达式现在通常叫做列表推导式KRC有两种主要实现David Turner的最初实现用BCPL写成并运行于EMAS英语Edinburgh Multiple Access SystemSimon J Croft的后来实现用C写成并运行于UnixKRC在年至年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言 KRC的直接后继者是Miranda它包括了基于Milner的ML的一种多态类型规矩