肯特遞歸計算器
外觀
編程範型 | 純函數式 |
---|---|
設計者 | David Turner |
面市時間 | 1981年 |
許可證 | 二條款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的一種多態類型規矩。
延伸閱讀
[編輯]- 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).
引用
[編輯]![]() | 這是一篇關於電腦程式語言的小作品。您可以透過編輯或修訂擴充其內容。 |