肯特递归计算器
来自维基百科,自由的百科全书
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年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言。
延伸阅读
- 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).
引用
Wikiwand - on
Seamless Wikipedia browsing. On steroids.