| KRC | |
|---|---|
| Kieliluokka | ei-tiukka toiminnallinen |
| Esiintyi | 1981 |
| Tekijä | Turner, David |
| Vaikutettu | SASL |
| vaikutti | Miranda |
KRC ( englanninkielinen Kent Recursive Calculator ) on David Turnerin (David Turner) vuonna 1981 kehittämä laiska toiminnallinen ohjelmointikieli , joka perustuu SASL :ään , johon on lisätty kuvioiden sovitus , vartiointilausekkeet (guards) ja ZF-lausekkeet (nykyisin tunnetaan paremmin nimellä luetteloinkluusio ). KRC-toteutuksia oli kaksi: Turnerin kirjoitti BCPL :ssä EMAS-järjestelmää varten; myöhemmin Simon Croftin C : ssä Unixissa . KRC oli pääkieli funktionaalisen ohjelmoinnin opetuksessa Canterburyn Kentin yliopistossa (Yhdistynyt kuningaskunta ) vuosina 1982–1985 .
KRC:n suora jälkeläinen on Miranda , joka myös lisäsi polymorfisia tyyppejä ML :stä .