Proměnná typu - Type variable

V teorii typu a programovacích jazyků , je proměnná typu je matematická veličina pohybuje nad typy . Dokonce i v programovacích jazycích, které umožňují měnitelné proměnné , zůstává proměnná typu abstrakcí v tom smyslu, že neodpovídá některým místům paměti.

Programovací jazyky, které podporují parametrický polymorfismus, využívají univerzálně kvantifikované proměnné typu. Jazyky, které podporují existenční typy, využívají existenciálně kvantifikované proměnné typu. Například následující kód OCaml definuje funkci polymorfní identity, která má univerzálně kvantifikovaný typ, který je vytištěn tlumočníkem na druhém řádku:

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

V matematickém zápisu, typ funkce idje , kde je proměnná typu. ${\ displaystyle \ forall aa \ to a}$${\ displaystyle a}$

Viz také

• Systém F

${\ displaystyle \ Gamma \ vdash x: {\ text {Int}}}$

Tento článek týkající se teorie programovacího jazyka nebo teorie typů je útržek . Wikipedii můžete pomoci rozšířením . proti t E