Editing Kent Recursive Calculator (section)

{{Use dmy dates|date=April 2022}}
{{Infobox programming language
| name                   = KRC
| logo                   =
| paradigm               = [[Functional programming|Functional]]
| year                   = {{Start date and age|1981}}
| designer               = [[David Turner (computer scientist)|David Turner]]
| developer              =
| latest_release_version =
| latest_release_date    =
| latest_test_version    =
| latest_test_date       =
| typing                 =
| implementations        =
| dialects               =
| influenced_by          = [[SASL (programming language)|SASL]]
| influenced             = [[Miranda programming language|Miranda]]
| operating_system       =
| license                =
| website                =
}}

'''KRC''' ('''Kent Recursive Calculator''') is a [[lazy evaluation|lazy]] [[functional language]] developed by [[David Turner (computer scientist)|David Turner]] from November 1979 to October 1981<ref>Dates in the commentary to the BCPL KRC source code for EMAS.</ref> based on [[SASL programming language|SASL]], with [[pattern matching]], [[guard (computer science)|guard]]s and [[ZF expression]]s<ref>{{FOLDOC|Kent+Recursive+Calculator}}</ref> (now more usually called [[list comprehensions]]). Two implementations of KRC were written: David Turner's original one in [[BCPL]] running on [[Edinburgh Multiple Access System|EMAS]], and Simon J. Croft's later one in [[C (programming language)|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 programming language|Miranda]], which includes a polymorphic type discipline based on that of Milner's [[ML (programming language)|ML]].