Wpisz zmienną
W teorii typów i językach programowania zmienna typu jest zmienną matematyczną obejmującą typy . Nawet w językach programowania, które pozwalają na zmienne zmienne , zmienna typu pozostaje abstrakcją w tym sensie, że nie odpowiada niektórym lokacjom pamięci.
Języki programowania obsługujące polimorfizm parametryczny wykorzystują uniwersalnie kwantyfikowane zmienne typu. Języki, które obsługują typy egzystencjalne, wykorzystują egzystencjalnie skwantyfikowane zmienne typu. Na przykład poniższy OCaml definiuje polimorficzną funkcję tożsamości , która ma typ uniwersalnie skwantyfikowany i jest drukowana przez interpreter w drugim wierszu:
# niech id x = x ;; prawidłowy identyfikator : ' a -> ' a = < zabawa >
W notacji matematycznej typem id funkcji jest , gdzie jest zmienną typu.
