Результаты поиска

...еменная типа''' (''ти́повая переменная'') в [[язык программирования|языках программирования]] и [[Теория типов|теории типов]] — [[переменная (математика)|переменная]], ...уются буквы греческого алфавита (хотя многие [[язык программирования|языки программирования]] используют латиницу и допускают и более длинные именования). ...

{{Карточка языка программирования | name = Haskell ...

...nformation technology — Vocabulary — Part 1: Fundamental terms</ref>. Язык программирования определяет набор [[лексика|лексических]], [[синтаксис (программирование)|си ...людей. Профессиональные [[программист]]ы могут владеть несколькими языками программирования. ...

'''Параметрический полиморфизм''' в [[язык программирования|языках программирования]] и [[Теория типов|теории типов]] — свойство семантики [[система типов|сист ...трический полиморфизм лежит в основе [[система типов|систем типов]] языков семейства [[ML]]; такие [[система типов|системы типов]] называют полиморфными. В сооб ...

...зуемая преимущественно в [[язык программирования|языках программирования]] семейства [[ML]], имеющая [[аппликативное программирование|аппликативную]] семантику, Является наиболее развитой системой модулей среди встречающихся в языках программирования{{sfn|Cardelli, "Typeful programming"|1991|loc=2.Typeful languages|с=5}}{{sf ...