コンストラクタ

• 帰納的型の値コンストラクタ記号
• 帰納的型の型名は、パラメータを持つと型コンストラクタ
• 構造体型は、単一の値コンストラクタを持つ帰納的型だが、フィールド名をコンストラクタとも言う。
• オブジェクト指向のコンストラクタは、単元集合またはパラメータ集合から状態空間への写像。
• 型を値とする関数はコンストラクタ

構造体型のフィールド・ラベルはコンストラクタと呼ばないほうがいいだろう。が、構成素〈コンスティチューエント〉ラベルとは呼ぶ。