В языках программирования и теории типов, переменная типа или ти́повая переменная (англ. type variable) — математическая переменная, которая может принимать значение из множества типов данных.
Ти́повая переменная используется в определении алгебраического типа данных подобно тому, как используется параметр в определении функции, но, в отличие от последнего, ти́повая переменная является абстракцией, т.е. не указывает на какое-либо место в памяти ЭВМ. В качестве идентификаторов ти́повых переменных традиционно используются буквы греческого алфавита (хотя многие языки программирования используют латинницу и допускают и более длинные именования).
Примечание — в данной статье для явного связывания (explicit binding) ти́повой переменной используется текущий синтаксис, принятый в проекте successor ML: ['a]. Из-за того, что в Haskell этот синтаксис был назначен в качестве синтаксического сахара над типом List, для объявления ти́повых переменных в нём было введено ключевое слово forall.
Ти́повая переменная используется в определении алгебраического типа данных подобно тому, как используется параметр в определении функции, но, в отличие от последнего, ти́повая переменная является абстракцией, т.е. не указывает на какое-либо место в памяти ЭВМ. В качестве идентификаторов ти́повых переменных традиционно используются буквы греческого алфавита (хотя многие языки программирования используют латинницу и допускают и более длинные именования).
Примечание — в данной статье для явного связывания (explicit binding) ти́повой переменной используется текущий синтаксис, принятый в проекте successor ML: ['a]. Из-за того, что в Haskell этот синтаксис был назначен в качестве синтаксического сахара над типом List, для объявления ти́повых переменных в нём было введено ключевое слово forall.
Источник: Wipedia.org