В языках программирования и теории типов, переменная типа или ти́повая переменная (англ. type variable) — математическая переменная, пробегающая множество типов данных. Даже в языках программирования, позволяющих изменяемые переменные, переменная типа остаётся абстракцией, т.е. не указывает на какое-либо место в памяти ЭВМ.

Языки, поддерживающие параметрический полиморфизм, используют универсально квантифицированные переменные типа. Языки, поддерживающие экзистенциальные типы, используют экзистенциально квантифицированные переменные типа. Например, следующий код на языке OCaml определяет полиморфную функцию тождественного отображения, имеющую универсально квантифицированный функциональный тип, который компилятор печатает на второй строке в результате вывода типов:

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

В математической нотации тип функции id записывается как , где есть переменная типа.

См.также

• Система F
• Конструктор типов
• Система типов Хиндли — Милнера