Тип переменной
В теории типов и языках программирования — переменная типа это математическая переменная, варьирующаяся по типам . Даже в языках программирования, допускающих изменяемые переменные , переменная типа остается абстракцией в том смысле, что она не соответствует некоторым ячейкам памяти.
Языки программирования , поддерживающие параметрический полиморфизм, используют переменные универсального типа. Языки, поддерживающие экзистенциальные типы , используют переменные экзистенциально-квантифицированного типа. Например, следующий код OCaml определяет полиморфную идентификационную функцию , имеющую универсальный количественный тип, который выводится интерпретатором во второй строке:
# let id x = x;;
val id : 'a -> 'a = <fun>
В математической записи тип функции id является , где является переменной типа.
См. также
[ редактировать ]Эта теории языков программирования или теории типов, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |
