Типы в языках программирования, Бенджамин Пирс

Типы в языках программирования, Бенджамин Пирс
Автор: Бенджамин Пирс
Доступно в форматах: EPUB | PDF | FB2
Страниц: 680
Год издания: 2012
Язык: Русский
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.

Отзывы


Те, кто смотрел эту страницу, также интересовались:

Школьные принадлежности. Пособие для детей 5-7 лет, Т. И. Гризик
Школьные принадлежности. Пособие для детей 5-7 лет, Т. И. Гризик
Монреаль. Путеводитель
Монреаль. Путеводитель
ОГЭ. Русский язык. 9 класс. Тренировочные тестовые задания, Г. Т. Егораева
ОГЭ. Русский язык. 9 класс. Тренировочные тестовые задания, Г. Т. Егораева

Часто задаваемые вопросы

1. Какой формат книги выбрать: PDF, EPUB или FB2?
Тут все зависит от ваших личных предпочтений. На сегодняшний день, каждый из этих типов книг можно открыть как на компьютере, так и на смартфоне или планшете. Все скачанные с нашего сайта книги будут одинаково открываться и выглядеть в любом из этих форматов. Если не знаете что выбрать, то для чтения на компьютере выбирайте PDF, а для смартфона - EPUB.

2. Можно ли книги с вашего сайта читать на смартфоне?
Да. Как для iOS, так и для Android есть много удобных программ для чтения книг.

3. В какой программе открыть файл PDF?
Для открытия файла PDF Вы можете воспользоваться бесплатной программой Acrobat Reader. Она доступна для скачивания на сайте adobe.com