KRC (Kent Recursive Calculator) is a
lazy functional language developed by
David Turner from November 1979 to October 1981 based on
SASL, with
pattern matching
In computer science, pattern matching is the act of checking a given sequence of tokens for the presence of the constituents of some pattern. In contrast to pattern recognition, the match usually must be exact: "either it will or will not be a ...
,
guards and
ZF expressions
(now more usually called
list comprehensions). Two implementations of KRC were written: David Turner's original one in
BCPL
BCPL ("Basic Combined Programming Language") is a procedural, imperative, and structured programming language. Originally intended for writing compilers for other languages, BCPL is no longer in common use. However, its influence is still f ...
running on
EMAS, and Simon J. Croft's later one in
C under
Unix
Unix (, ; trademarked as UNIX) is a family of multitasking, multi-user computer operating systems that derive from the original AT&T Unix, whose development started in 1969 at the Bell Labs research center by Ken Thompson, Dennis Ritchie, a ...
, and KRC was the main language used for teaching functional programming at the
University of Kent
The University of Kent (formerly the University of Kent at Canterbury, abbreviated as UKC) is a Collegiate university, collegiate public university, public research university based in Kent, United Kingdom. The university was granted its roya ...
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
Further reading
*
Functional Programming and its Applications', David A. Turner, Cambridge U Press 1982.
*
External links
KRC's home pageIts open source interpreter for Unix based on Professor Turner's 1982 version for EMAS
Functional languages
History of computing in the United Kingdom
University of Kent
Programming languages created in 1981
{{compu-lang-stub