Kent rekurzív kalkulátor

KRC
Nyelvóra nem szigorú funkcionális
Megjelent 1981
Szerző Turner, David
Befolyásolva SASL
befolyásolta Miranda

A KRC ( angolul  Kent Recursive Calculator ) egy laza funkcionális programozási nyelv , amelyet David Turner (David Turner) fejlesztett ki 1981 -ben, SASL -re alapozva mintaillesztés , őrző kifejezések (guards) és ZF kifejezések (ma ismertebb nevén listabefoglalások ) hozzáadásával . A KRC-nek két implementációja volt: az egyiket Turner írta a BCPL -ben az EMAS-hoz; egy későbbi Simon Croft C - ben Unix alatt . A KRC volt a funkcionális programozás oktatásának fő nyelve a Canterbury-i Kent Egyetemen (Egyesült Királyság) 1982 és 1985 között .

A KRC közvetlen leszármazottja a Miranda , amely szintén hozzáadott polimorf típusokat az ML -ből .