Переменная типа: различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
м -избыточное выделение, комментарии в сноски, орфография по замеченному
Строка 1:
'''Переменная типа''' (''ти́повая переменная'') в [[язык программирования|языках программирования]] и [[Теория типов|теории типов]] — [[переменная (математика)|переменная]], которая может принимать значение из множества [[тип данных|типов данных]].
 
Ти́повая переменная используется в определении [[Алгебраический тип данных|алгебраического типа данных]] подобно тому, как используется [[Параметр (программирование)|параметр]] в определении [[Функция (программирование)|функции]], но, виспользуется отличиедля отпередачи последнего,типа ти́поваяданных переменнаябез являетсяпередачи абстракцией,самих то есть не указывает на какое-либо место в памяти ЭВМданных. В качестве идентификаторов ти́повых переменных в теории типов традиционно используются буквы греческого алфавита (хотя многие [[язык программирования|языки программирования]] используют латиницу и допускают и более длинные именования).
 
== Пример ==