Kent Recursive Calculator
Appearance
Paradigm | functional |
---|---|
Designed by | David Turner |
First appeared | 1981 |
Influenced by | |
SASL | |
Influenced | |
Miranda |
KRC(Kent Recursive Calculator) is alazyfunctional languagedeveloped byDavid Turnerfrom November 1979 to October 1981[1]based onSASL,withpattern matching,guardsandZF expressions[2](now more usually calledlist comprehensions). Two implementations of KRC were written: David Turner's original one inBCPLrunning onEMAS,and Simon J. Croft's later one inCunderUnix,and KRC was the main language used for teaching functional programming at theUniversity of Kentat Canterbury (UK) from 1982 to 1985.
The direct successor to KRC isMiranda,which includes a polymorphic type discipline based on that of Milner'sML.
References
[edit]- ^Dates in the commentary to the BCPL KRC source code for EMAS.
- ^This article is based on material taken fromKent+Recursive+Calculatorat theFree On-line Dictionary of Computingprior to 1 November 2008 and incorporated under the "relicensing" terms of theGFDL,version 1.3 or later.
Further reading
[edit]- Functional Programming and its Applications,David A. Turner, Cambridge U Press 1982.
- Turner, D.A. (1981). "The semantic elegance of Applicative Languages".Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture.Association for Computing Machinery.pp. 85–92.ISBN0-89791-060-5.
External links
[edit]- KRC's home pagewith a free implementation for Unix systems