Kent Recursive Calculator

Proiectat de: David Turner

KRC (Kent Recursive Calculator) este un limbaj funcțional leneș dezvoltat de David Turner din noiembrie 1979 până în octombrie 1981, bazat pe SASL, cu potrivirea modelului, gardieni și expresiile ZF (acum mai de obicei numite înțelegeri de listă).

Au fost scrise două implementări ale KRC: cea originală a lui David Turner în BCPL care rulează pe EMAS, iar cea mai târziu a lui Simon J.

Croft în C sub UNIX, iar KRC a fost principalul limbaj folosit pentru predarea programării funcționale la Universitatea din Kent la Canterbury (Marea Britanie) Din 1982 până în 1985.

Succesorul direct la KRC este Miranda, care include o disciplină de tip polimorfă bazată pe cea a ML -ului lui Milner.