肯特遞歸計算器

KRC（Kent 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

編程範型	純函數式
設計者	David Turner（英語：David Turner (computer scientist)）
釋出時間	1981年，​44年前​（1981）
許可證	二條款BSD許可證
網站	KRC homepage
受影響於
SASL
影響語言
Miranda

KRC的直接後繼者是Miranda，它包括了基於Milner的ML的一種多態類型規矩。

延伸閱讀

• David A. Turner. Recursion Equations as a Programming Language (PDF). Functional Programming and its Applications, Cambridge U Press. 1982: 1–28 [2022-02-23]. （原始內容存檔 (PDF)於2022-01-21）.
• David A. Turner. The semantic elegance of Applicative Languages (PDF). Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, Association for Computing Machinery. 1981: 85–92 [2022-02-23]. ISBN 0-89791-060-5. （原始內容存檔 (PDF)於2022-01-21）.