肯特遞歸計算器

KRC （ Kent Recursive Calculator ： 肯特遞歸計算器 ） 是一種惰性的純函數式編程語言 ， 由在1979年11月至1981年10月期間開發 ， 基於了SASL ， 具有模式匹配 、 守衛和ZF表達式 （ 現在通常叫做列表推導式 ） 。 KRC有兩種主要實現 ： David Turner的最初實現用BCPL寫成並運行於 ， Simon J. Croft的後來實現用C寫成並運行於Unix 。 KRC在1982年至1985年期間是在坎特伯雷的肯特大學用於教授函數式編程的主要語言 。 KRC的直接後繼者是Miranda ， 它包括了基於Milner的ML的一種多態類型規矩 。