部分構造型
Substructural Type System
型環境に構造規則についての制限を導入することにで、型環境に含まれる変数の利用について制約を持たせることができるような型システム table: 対応
Ordered型 - - - 変数の使用は1回のみであり、変数の順序の制限もある 通常の型 o o o 変数の使用は任意の回数できる
通常の型システムが一番下で任意の回数の使用ができ、
他のものはoが付いていないので、「制限を強めている」感じがひと目で分かるmrsekut.icon
「構造部分型を持つ言語」としてこれらを列挙するのは雑すぎると思うので、本当はここに列挙したくはないmrsekut.icon
個別の型のページに割り振りたいmrsekut.icon