Kent Recursive Calculator

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

Kent Recursive Calculator (KRC) is an early lazy functional programming language created by David Turner between 1979 and 1981, building on SASL. It features lazy evaluation, pattern matching, guards, and ZF expressions (now usually called list comprehensions). There were two main implementations: Turner's BCPL version running on the EMAS system, and a later C version by Simon J. Croft for Unix. KRC was widely used for teaching functional programming at the University of Kent at Canterbury from 1982 to 1985. Its direct successor is Miranda, a language with a polymorphic type system influenced by Milner’s ML.