ケント再帰計算機

KRC ( Kent Recursive Calculator ) は、1979 年 11 月から 1981 年 10 月にかけてDavid Turnerによって開発された遅延評価型の関数型言語です^{[ 1 ]。SASL}をベースとし、パターン マッチング、ガード、ZF 式^{[ 2 ]} (現在ではリスト内包表記と呼ばれることが多い) を備えています。KRC の実装は 2 つ作成されました。1 つは David Turner によるBCPLでEMAS上で動作するオリジナルの実装、もう 1 つは Simon J. Croft によるUnix上でのC 言語による実装です。KRC は、1982 年から 1985 年にかけて、カンタベリーのケント大学(英国)で関数型プログラミングを教える際に使用された主要な言語でした。

KRCの直接の後継はMirandaであり、MilnerのMLに基づいた多型型規律が含まれている。

• 関数型プログラミングとその応用、デイビッド・A・ターナー著、ケンブリッジ大学出版局、1982年。
• Turner, DA (1981). 「アプリケーション言語の意味論的優雅さ」. 1981年関数型プログラミング言語とコンピュータアーキテクチャに関する会議議事録. Association for Computing Machinery . pp. 85–92 . ISBN  0-89791-060-5。

• KRCのホームページ
• Unix 用のオープンソース インタプリタで、ターナー教授が 1982 年に EMAS 用に作成したバージョンに基づいています。