Type variabele - Type variable

In het type theorie en programmeertalen , een soort variabele is een wiskundige variabele variërend in types . Zelfs in programmeertalen die veranderlijke variabelen toestaan , blijft een typevariabele een abstractie, in die zin dat deze niet overeenkomt met sommige geheugenlocaties.

Programmeertalen die parametrisch polymorfisme ondersteunen, maken gebruik van universeel gekwantificeerde typevariabelen. Talen die existentiële typen ondersteunen , maken gebruik van existentieel gekwantificeerde typevariabelen. De volgende OCaml- code definieert bijvoorbeeld een polymorfe identiteitsfunctie met een universeel gekwantificeerd type, dat door de interpreter op de tweede regel wordt afgedrukt:

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

In wiskundige notatie, het type van de functie idis , waarbij een type variabele. ${\ displaystyle \ forall aa \ tot a}$${\ displaystyle a}$

Zie ook

• Systeem F

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

Deze programmeertaal theorie of typentheorie gerelateerde artikel is een stomp . U kunt Wikipedia helpen door het uit te breiden . v t e