Typ variabel
I typteori och programmeringsspråk är en typvariabel en matematisk variabel som sträcker sig över typer . Även i programmeringsspråk som tillåter föränderliga variabler förblir en typvariabel en abstraktion, i den meningen att den inte motsvarar vissa minnesplatser.
Programmeringsspråk som stöder parametrisk polymorfism använder sig av universellt kvantifierade typvariabler. Språk som stöder existentiella typer använder sig av existentiellt kvantifierade typvariabler. Till exempel definierar följande OCaml -kod en polymorf identitetsfunktion som har en universellt kvantifierad typ, som skrivs ut av tolken på den andra raden:
# låt id x = x ;; giltigt id : ' a -> ' a = < kul >
är typen av funktion id , där är en typvariabel.
