| KRC | |
|---|---|
| Clasa de limba | funcţional nestrict |
| Aparut in | 1981 |
| Autor | Turner, David |
| A fost influențat | SASL |
| influențat | Miranda |
KRC ( Engleză Kent Recursive Calculator ) este un limbaj de programare funcțional leneș dezvoltat de David Turner (David Turner) în 1981 , bazat pe SASL , cu adăugarea de potrivire a modelelor , expresii de protecție (garda) și expresii ZF (acum mai bine cunoscute ca incluziuni de listă ). Au existat două implementări ale KRC: una scrisă de Turner în BCPL pentru EMAS; unul mai târziu de Simon Croft în C sub Unix . KRC a fost limbajul principal pentru predarea programării funcționale la Universitatea Kent din Canterbury (Marea Britanie) din 1982 până în 1985 .
Descendentul direct al KRC este Miranda , care a adăugat și tipuri polimorfe din ML .