scheme - DrRacket プログラミング言語のコアを構成するもの

Question

Racket プログラミング言語のコアを構成するものは何ですか? コアは RnRS 仕様に基づいており、その小さなコアに基づく多数のシーケンス メソッドなどのすべての追加機能を備えていますか、それとも言語コアの参照部分にすべてが含まれていますか?

Answer 1

#%kernelRacketは、組み込みモジュールによってエクスポートされたコア言語の上に構築されています。カーネルの構文形式は、完全に拡張されたプログラムのドキュメントで説明されています。consカーネルモジュールは、、、、などの多数のプリミティブ関数もエクスポートしvector-refますmake-struct-type。

これらの構文形式と関数のほとんどは、Racket基本言語（racket/base）の一部でもあるため、Racketリファレンスに記載されています。プリミティブ関数は、主に実装の詳細と見なされるため、カーネル言語の一部としてマークされていません。一方、プリミティブ構文形式は、の結果に表示されるのはそれらだけであるため、特別に文書化されていますexpand。