Type variabel - Type variable

I typen teori og programmeringssprog , en form variabel er en matematisk variabel spænder løbet typer . Selv i programmeringssprog, der tillader mutable variabler , forbliver en typevariabel en abstraktion i den forstand, at den ikke svarer til nogle hukommelsesplaceringer.

Programmeringssprog, der understøtter parametrisk polymorfisme, bruger universelt kvantificerede typevariabler. Sprog, der understøtter eksistentielle typer, bruger eksistentielt kvantificerede typevariabler. For eksempel definerer følgende OCaml- kode en polymorf identitetsfunktion, der har en universelt kvantificeret type, der udskrives af tolken på anden linje: 

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

I matematisk notation, typen af funktionen ider , hvor er en type variabel.

Se også