In der Typ-Theorie und den Programmiersprachen ist eine Typ-Variable eine mathematische variable Anordnung über Typen. Sogar auf Programmiersprachen, die veränderliche Variablen erlauben, bleibt eine Typ-Variable eine Abstraktion im Sinn, dass sie einigen Speicherpositionen nicht entspricht.

Programmiersprachen, die parametrischen polymorphism unterstützen, machen von allgemein gemessenen Typ-Variablen Gebrauch. Sprachen, die existenzielle Typen unterstützen, machen von existenziell gemessenen Typ-Variablen Gebrauch. Zum Beispiel definiert der folgende OCaml-Code eine polymorphe Identitätsfunktion, die einen allgemein gemessenen Typ hat, der vom Dolmetscher auf der 2. Linie gedruckt wird:

# lassen id x = x;;

val id: '-> '=

In der mathematischen Notation ist der Typ der Funktion, wo einer Typ-Variable zu sein.

Siehe auch

• System F