11. 用語集¶
11.1. 言語とランタイム¶
- 値¶
データの基本的な単位。「val」と略される。 Values を見よう。
- 埋め込みプロパティ¶
値が、変数を介さずに保持しているデータ。 Embedded properties を見よう。
- 変数¶
所有者である値と、シンボルの対。内容として値が持てる。 Variables を見よう。
- 変数の所有者¶
- 変数のシンボル¶
変数のUnicodeコードポイント列。「sym」と略される。 Variables を見よう。
- 関数シンボル¶
[a-z_][a-z0-9_?]*を満たすシンボル。 Variables を見よう。- データシンボル¶
([a-z_][a-z0-9_?]*)?[A-Z][a-zA-Z0-9_?]*を満たすシンボル。 Variables を見よう。- variable-load操作¶
- variable-store操作¶
- variable-symbols操作¶
変数についての3つの基本的な操作。 Variable operations を見よう。
- コンパイル¶
プログラムを 関数 に変換する手順。コンパイルは Program.compile によって行われる。コンパイルの仕様については、 言語仕様 を見よう。
- 脱糖¶
コンパイル のうち、プログラムを 脱糖化形式 に変形する段階。 Desugaring を見よう。
- 脱糖化形式¶
脱糖 によって作られたプログラム。脱糖化形式のプログラムは 翻訳 の入力になれる。 Desugaring を見よう。
- 翻訳¶
コンパイル のうち、脱糖化形式のプログラムを 抽象命令 の列に変換する段階。 Translation を見よう。
- 抽象スタックマシン¶
- 抽象命令¶
- コールスタック¶
抽象スタックマシン のスタック。 抽象命令 の列を保持する。 Call stack を見よう。
- 末尾呼び出し¶
関数呼び出しの末尾で行われる関数呼び出し。これは、 tailcall instruction によって行われる。
- 末尾呼び出し除去¶
連続する 末尾呼び出し がスタックオーバーフローを起こさないという、ランタイムへの要求。 tailcall instruction を見よう。
- 限定継続¶
Kont_tag.shift の呼び出しから、 Kont_tag.reset の呼び出しの終わりまでの評価を再開する 関数 。「kont」と略される。 kont instruction を見よう。
- ホスト手続き¶
ホストシステム 中の手続きを指し示す情報の抽象的な単位。 hostcall instruction を見よう。
- ランタイム¶
ランタイム は値、実行器、その他の部品を含むシステムである。
- ホストシステム¶
ホストシステム は ランタイム がその上で実装されているシステムである。典型的には、ホストシステムはJava Virtual Machineである。
- モジュールシステム¶
- モジュール¶
- モジュール基底パス集合¶
モジュールのソースが配置できるディレクトリの集合。 モジュール基底パス集合 を見よう。
11.2. 組み込みライブラリ¶
11.3. パターンと慣習¶
- メソッド¶
ある値の変数に保持され、その値をレシーバとした操作を行うために使われる関数。 Methods を見よう。
- コンストラクタ¶
新しい値を作る関数。 Constructors を見よう。
- コンフィグ関数¶
- コンフィグ値¶
- コンフィグメソッド¶
コンフィグ関数を見よう。
- トレイト¶
new_val の引数として展開されるような、メソッドとそのシンボルを保持したベクタ。 Constructors を見よう。
- サンク¶
メソッドとして使われず、引数を取らない関数。 Thunks を見よう。
- 述語¶
メソッドとして使われず、ひとつの引数を取って、ブールを戻す関数。 述語 を見よう。
- 定数¶
- 継続¶
- 継続渡しスタイル¶
- kinkdoc¶
KinkプログラムのAPI文書化システム。 Kinkdoc: API文書化システム を見よう。