Книга: Джесси Рассел «Вывод типов»
|
Серия: "-" Вывод типа (Type inference) — в программировании возможность компилятора самому логически вывести тип значения из выражения. Первоначально было распространено в функциональных языках, но в последнее время эта возможность появляется и в объектно-ориентированных ЯП (C#, D, Visual Basic . NET, C++0x, Vala). Например: Издательство: "VSD" (2012)
ISBN: 978-5-5129-2414-3 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Карликов, Вячеслав Александрович | Вячеслав Александрович Карликов (15 (27) декабря 1871, Сырдарьинская область — 17 октября 1937, Бутовский полигон… — VSD, - Подробнее... | бумажная книга | ||
| Инфракрасная фотография | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга | ||
| Очень голодная гусеница | Данное издание представляет собой компиляцию сведений, находящихся в свободномдоступе в среде Интернет в… — VSD, - Подробнее... | бумажная книга |
См. также в других словарях:
Вывод типов — Типизация данных Типобезопасность Вывод типов Динамическая типизация Статическая типизация Строгая типизация Мягкая типизация Зависимые типы Утиная типизация Вывод типа (англ. Type inference) в программировании возможность компилятора… … Википедия
ВЫВОД ЛОГИЧЕСКИЙ — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором осуществляется переход по правилам от высказывания или системы высказываний к высказыванию или системе высказываний. К логическому выводу обычно предъявляются (совместно или по отдельности)… … Философская энциклопедия
вывод логический — ВЫВОД ЛОГИЧЕСКИЙ рассуждение, в котором по определенным правилам осуществляется переход от высказываний или системы высказываний к высказыванию или системе высказываний. К В. л. обычно предъявляются (разом или по отдельности) следующие… … Энциклопедия эпистемологии и философии науки
Ввод/вывод — С информатике, ввод/вывод (в англ. языке часто используется сокращение I/O input/output) означает взаимодействие между обработчиком информации (например, компьютер) и внешним миром, который может представлять как человек, так и любая другая … Википедия
Ввод-вывод — В информатике, ввод/вывод (в англ. языке часто используется сокращение I/O) означает взаимодействие между обработчиком информации (например, компьютер) и внешним миром, который может представлять как человек, так и любая другая система обработки… … Википедия
Сравнение языков программирования — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Условные обозначения … Википедия
