抽象構文
親クラス
アノテーション、注釈
無名
バイナリメソッド
真偽値
翻訳単位
(構成)要素
具象構文
具象型
制約
構成子(バリアントの-)、構築子(オブジェクトの-)
反変
共変
分解
指示子
浮動小数点数
ファンクタ
直接生成されたオブジェクト
変更不能
初期化子
不変
A が B にマッチする
A を B にマッチさせる
変更可能
省略可能
親クラス
構文解析
多相(的)
(型の)詳細化。 incremental refinment = 段階的詳細化
シグネチャ
ストラクチャ
子クラス
部分型
上位型
タプル
型要素
型等式
型式
型表現
単一化する
変位
バリアント
抽象メソッド
抽象クラス