Типы в языках программирования
Этот товар закончился.
Описание и характеристики
ID товара
2365919
Издательство
КДУ
Год издания
2012
ISBN
978-5-7913-0082-9
Размер
2.9x18.4x24
Вес, г
2220
Отзывы
15 бонусов
за полезный отзыв длиной от 300 символов
15 бонусов
если купили в интернет-магазине «Читай-город»
3.5
Юрий
28.05.2020
Одна из лучших точек входа в теорию типов
По сути, с этой книги нужно начинать учиться программировать. Она дает мощную математическую основу для работы любого инженера-программиста.
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
.
.