Type_variable
で型理論とプログラミング言語、型変数は、ある数学的な変数の上に及ぶ種類。可変変数を許可するプログラミング言語でも、型変数は、一部のメモリ位置に対応しないという意味で、抽象化されたままです。
パラメトリック多態性をサポートするプログラミング言語は、全称記号型変数を利用します。存在型をサポートする言語は、存在記号型変数を利用します。たとえば、次のOCamlコードは、全称記号型を持つ多形恒等関数を定義します。これは、インタプリタによって2行目に出力されます。
＃ 聞かせて ID のx = X ;; ヴァル ID ： ‘ – > ‘ =
数学表記では、関数のタイプは次のとおりidです。
∀ 。 { forall aa to a}
、 どこ {a}
型変数です。
も参照してください
システムF Γ ⊢ ： Int { Gamma vdash x：{ text {Int}}}
このプログラミング言語理論または型理論関連
“