ケント再帰計算機

KRC
パラダイム	機能的
デザイン：	デビッド・ターナー
初登場	1981 （1981年）
影響を受けた
SASL
影響を受けた
ミランダ

KRC（ケント再帰計算機）は、1979年11月から1981年10月にかけてデイビッド・ターナーによって開発された遅延関数型言語である^{[ 1 ]} 。SASLをベースに、パターンマッチング、ガード、ZF式^{[ 2 ]} （現在ではリスト内包表記と呼ばれることが多い）を備えている。KRCの実装は2種類書かれており、デイビッド・ターナーによるオリジナルのBCPLはEMAS上で動作し、後にサイモン・J・クロフトがUnix上のCで実装した。KRCは1982年から1985年にかけて、ケント大学（英国）で関数型プログラミングの授業に主に使用された言語であった。

KRC の直接の後継はMirandaであり、これには Milner のMLに基づく多態的な型規律が含まれています。

参考文献

1. EMAS の BCPL KRC ソースコードの解説にある日付。
2. Free On-line Dictionary of Computing のKent +Recursive+Calculatorから取得した資料に基づいており、 GFDLバージョン 1.3 以降 の「再ライセンス」条項に基づいて組み込まれています。

さらに読む

• 関数型プログラミングとその応用、David A. Turner、Cambridge U Press、1982年。
• ターナー, DA (1981). 「応用言語の意味的エレガンス」. 1981年関数型プログラミング言語とコンピュータアーキテクチャに関する会議議事録.計算機協会. pp.  85– 92. ISBN 0-89791-060-5。

外部リンク

• KRCのホームページ
• ターナー教授の1982年のEMASバージョンに基づいたUnix用のオープンソースインタープリタ