肯特递归计算器

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
纯函数式
設計者David Turner
1981年​（1981）
許可證二条款BSD许可证
網站KRC homepage
啟發語言
SASL
影響語言
Miranda

KRC的直接后继者是Miranda，它包括了基于Milner的ML的一种多态类型规矩。

延伸阅读
  • David A. Turner. (PDF). Functional Programming and its Applications, Cambridge U Press. 1982: 1–28 [2022-02-23]. （原始内容存档 (PDF)于2022-01-21）.
  • David A. Turner. (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）.

引用
  1. Dates in the commentary to the BCPL KRC source code for EMAS.
  2. 本條目部分或全部内容出自以GFDL授權發佈的《自由線上電腦詞典》（FOLDOC）。
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.