Типы в языках программирования
Бенджамин Пирс
Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем – нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.
Категорії:
Рік:
2010
Видавництво:
Лямбда пресс
Мова:
russian
Сторінки:
655
Файл:
PDF, 10.25 MB
IPFS:
,
russian, 2010