Typ zmiennej - Type variable

W teorii typów i języków programowania , A typ zmiennej jest zmienna matematyczny począwszy nad typów . Nawet w językach programowania, które dopuszczają zmienne zmienne , zmienna typu pozostaje abstrakcją w tym sensie, że nie odpowiada niektórym lokalizacjom pamięci.

Języki programowania, które obsługują polimorfizm parametryczny, wykorzystują uniwersalne ilościowe zmienne typu. Języki obsługujące typy egzystencjalne wykorzystują egzystencjalnie określone ilościowo zmienne typu. Na przykład poniższy kod OCaml definiuje polimorficzną funkcję tożsamości, która ma uniwersalny typ ilościowy, który jest drukowany przez interpreter w drugiej linii:

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

W notacji matematycznej typ funkcji idto , gdzie jest zmienną typu. ${\ displaystyle \ forall aa \ do a}$ ${\ displaystyle a}$

Zobacz też

{\ Displaystyle \ Gamma \ vdash x: {\ tekst {Int}}}

Ten artykuł związany z teorią języka programowania lub teorią typów jest zalążkiem . Możesz pomóc Wikipedii, rozbudowując ją .