変数型

型理論とプログラミング言語では、型変数は型の範囲にわたる数学的な変数です。可変変数を許可するプログラミング言語でも、型変数は一部のメモリ位置に対応しないという意味で抽象化のままです。

パラメトリック多態性をサポートするプログラミング言語は、普遍量化された型変数を使用します。存在型をサポートする言語は、存在量化された型変数を使用します。たとえば、次のOCamlコードは、普遍量化された型を持つ多態的な恒等関数を定義しており、インタープリターによって 2 行目に出力されます。

#  let  id  x  =  x ;; 
val  id  :  ' a  ->  ' a  =  < fun >

数学表記では、関数の型idは であり、 は型変数です。 ${\displaystyle \forall aa\to a}$${\displaystyle a}$

• システムF