Книга Типы в языках программирования (Бенджамин Пирс) — 1

Типы в языках программирования

Бенджамин Пирс
6 оценок
Купили 16 человек
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики. . .
  • Кол-во стр.
    656
  • Вес
    2220 г
  • Год издания
    2012
  • Издательство
    КДУ

Отзывы

3.5
6 оценок
0
1
3
0
2
Юрий28.05.2020
Одна из лучших точек входа в теорию типов
По сути, с этой книги нужно начинать учиться программировать. Она дает мощную математическую основу для работы любого инженера-программиста.

Описание и характеристики

Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики. . .
  • Кол-во стр.
    656
  • Вес
    2220 г
  • Год издания
    2012
  • Издательство
    КДУ
  • Автор
    Бенджамин Пирс
  • Размеры в см
    2.9x18.3x24
  • ID товара
    2365919
  • ISBN
    978-5-7913-0082-9
Книга «Типы в языках программирования» есть в наличии в интернет-магазине «Читай-город» по привлекательной цене. Если вы находитесь в Москве, Санкт-Петербурге, Нижнем Новгороде, Казани, Екатеринбурге, Ростове-на-Дону или любом другом регионе России, вы можете оформить заказ на книгу Бенджамин Пирс «Типы в языках программирования» и выбрать удобный способ его получения: самовывоз, доставка курьером или отправка почтой. Чтобы покупать книги вам было ещё приятнее, мы регулярно проводим акции и конкурсы.