Пирс Бенджамин: Типы в языках программирования
Скачать книгу (размер 3 339 Kb , формат fb2, страниц 656)
Жанр : Разное
Издательство : Добросвет
Год издания : 2012
Аннотация:
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем — нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.