Wird KRC (Kent Recursive Calculator) eine faule funktionelle Sprache von David Turner darin entwickelt (oder vorher?) 1981, der auf SASL mit dem Muster-Zusammenbringen gestützt ist, schützt sich und ZF Ausdrücke (jetzt mehr gewöhnlich genannte Listenverständnisse).

Zwei Durchführungen von KRC wurden geschrieben: Der ursprüngliche von David Turner in BCPL, der auf EMAS, und dem späteren von Simon Croft in C unter Unix und KRC läuft, war die Hauptsprache, die verwendet ist, um funktionelle Programmierung an der Universität von Kent an Canterbury (das Vereinigte Königreich) von 1982 bis 1985 zu unterrichten.

Der direkte Nachfolger von KRC ist Miranda, die eine polymorphe auf diesem der ML von Milner gestützte Typ-Disziplin einschließt.

Weiterführende Literatur

• Funktionelle Programmierung und seine Anwendungen, David A. Turner, Cambridge U Presse 1982.