Kent Recursive Calculator
Page Module:Infobox/styles.css has no content.
| KRC | |
|---|---|
| Paradigm | Functional |
| Designed by | David Turner |
| First appeared | 1981 |
| Template:Infobox software/simple | |
| Influenced by | |
| SASL | |
| Influenced | |
| Miranda | |
KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner from November 1979 to October 1981[1] based on SASL, with pattern matching, guards and ZF expressions[2] (now more usually called list comprehensions). Two implementations of KRC were written: David Turner's original one in BCPL running on EMAS, and Simon J. Croft's later one in C under Unix, and KRC was the main language used for teaching functional programming at the University of Kent at Canterbury (UK) from 1982 to 1985.
The direct successor to KRC is Miranda, which includes a polymorphic type discipline based on that of Milner's ML.
References
Page Template:Reflist/styles.css has no content.
- ^ Dates in the commentary to the BCPL KRC source code for EMAS.
- ^ Template:FOLDOC
Further reading
- Functional Programming and its Applications, David A. Turner, Cambridge U Press 1982.
- Page Module:Citation/CS1/styles.css has no content.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. ISBN 0-89791-060-5.
External links
- KRC's home page
- Its open source interpreter for Unix, based on Professor Turner's 1982 version for EMAS
Lua error in package.lua at line 80: module 'Module:Navbox/configuration' not found.
