Книга: Пирс Б. «Типы в языках программирования»
|
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированноелямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примерови задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики... Формат: Мягкая бумажная, 656 стр.
ISBN: 9785791300829 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Похититель луридиума | Романы о Вильяме Вентоне читают в 37 странах. Мир, полный загадок, шифров и кодов, остроумных роботов и хищных… — АСТ, Золотой компас Подробнее... | бумажная книга | ||
| Похититель луридиума | Мир, полный загадок, шифров и кодов, остроумных роботов и хищных механических растений был словно нарочно… — Издательство «АСТ», Золотой компас Подробнее... | бумажная книга | ||
| Похититель Луридиума | Мир, полный загадок, шифров и кодов, остроумных роботов и хищных механических растений был словно нарочно… — (формат: Твердая бумажная, 256 стр.) Подробнее... | бумажная книга | ||
| Таинственный портал | Вильям Вентон обладает удивительным талантом — он с легкостью разгадывает самые сложные коды и шифры… — Издательство «АСТ», Золотой компас Подробнее... | бумажная книга | ||
| Таинственный портал | Вильям Вентон обладает удивительным талантом — он с легкостью разгадывает самые сложные коды и шифры… — (формат: Твердая бумажная, 256 стр.) Подробнее... | бумажная книга | ||
| Таинственный портал | Вильям Вентон обладает удивительным талантом он с легкостью разгадывает самые сложные коды и шифры… — АСТ, (формат: 84x108/32мм, 256 стр.) Золотой компас Подробнее... | бумажная книга | ||
| Дикий остров | Либо охотишься ты, либо охотятся за тобой! . 10 команд . 5 человек в команде . 3 дня . 1 миллион фунтов стерлингов… — (формат: Твердая бумажная, 319 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
Типы данных — В этой статье перечисляются типы данных, о самом понятии см тип данных В различных операционных системах, языках программирования, спецификациях форматов данных фигурируют различные символические обозначения для типов данных. Часть из них… … Википедия
Сравнение языков программирования — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Условные обозначения … Википедия
Языки программирования — Язык программирования формальная знаковая система, предназначенная для записи программ. Программа обычно представляет собой некоторый алгоритм в форме, понятной для исполнителя (например, компьютера). Язык программирования определяет набор… … Википедия
Форт (язык программирования) — У этого термина существуют и другие значения, см. Форт (значения). Forth Семантика: императивный Тип исполнения: интерпретатор/компилятор Появился в: 1971 Автор(ы): Чарльз Х. Мур Основные реализации … Википедия
Forth (язык программирования) — Forth Семантика: императивный Тип исполнения: интерпретатор/компилятор Появился в: 1971 г. Автор(ы): Чарльз Х. Мур Основные реализации: gForth, pForth, kForth, SP Forth, win32forth … Википедия
Рубин (язык программирования) — Ruby Семантика: мультипарадигмальный Тип исполнения: интерпретатор Появился в: 1995 г. Автор(ы): Юкихиро Мацумото Последняя версия: 1.9.1 … Википедия
