https://wiki.tachyony.co.uk/w/api.php?action=feedcontributions&feedformat=atom&user=5.91.163.199Wikipedia - User contributions [en]2026-07-08T18:57:48ZUser contributionsMediaWiki 1.44.0https://wiki.tachyony.co.uk/w/index.php?title=Kent_Recursive_Calculator&diff=26422Kent Recursive Calculator2025-04-03T19:51:10Z<p>5.91.163.199: Oops, I haven't published the KRC version of the math library yet so drop that link</p>
<hr />
<div>{{Use dmy dates|date=April 2022}}<br />
{{Infobox programming language<br />
| name = KRC<br />
| logo =<br />
| paradigm = [[Functional programming|Functional]]<br />
| year = {{Start date and age|1981}}<br />
| designer = [[David Turner (computer scientist)|David Turner]]<br />
| developer =<br />
| latest_release_version =<br />
| latest_release_date =<br />
| latest_test_version =<br />
| latest_test_date =<br />
| typing =<br />
| implementations =<br />
| dialects =<br />
| influenced_by = [[SASL (programming language)|SASL]]<br />
| influenced = [[Miranda programming language|Miranda]]<br />
| operating_system =<br />
| license =<br />
| website =<br />
}}<br />
<br />
'''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.<br />
<br />
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]].<br />
<br />
==References==<br />
{{Reflist}}<br />
<br />
==Further reading==<br />
* ''[https://books.google.com/books?id=O_M8AAAAIAAJ&q=KRC Functional Programming and its Applications]'', David A. Turner, Cambridge U Press 1982.<br />
* {{cite book|last=Turner|first=D.A.|year=1981|chapter=The semantic elegance of Applicative Languages|title=Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture |pages=85–92 |publisher=[[Association for Computing Machinery]] |isbn=0-89791-060-5}}<br />
<br />
==External links==<br />
* [http://www.krc-lang.org KRC's home page]<br />
* [https://codeberg.org/DATurner/KRC Its open source interpreter for Unix], based on Professor Turner's 1982 version for EMAS<br />
<br />
{{Programming language}}<br />
<br />
[[Category:Functional languages]]<br />
[[Category:History of computing in the United Kingdom]]<br />
[[Category:University of Kent]]<br />
[[Category:Programming languages created in 1981]]<br />
<br />
{{compu-lang-stub}}</div>5.91.163.199