Учебник знакомит читателя с «академической» стороной программирования, рассказывая о концепции типов данных и всех вопросах, связанных с их применением в информатике. Рассматриваются как «простые» типы данных, так и объектно-ориентированные со всеми их механизмами, начиная от полиморфизма и заканчивая лямбда-исчислением.

Подходя к программированию с точки зрения именно информатики, то есть «науки о методах и процессах сбора и обработки информации», этот «академический» учебник знакомит читателя с концепцией типов данных и всеми системами типов, существующих в информатике. Автор рассказывает как о «простых» типах данных, так и о тех, что требуют знания объектно-ориентированного программирования. Прочитав книгу, вы познакомитесь с понятием лямбда-исчисления, предназначенным для формализации программирования, полиморфизмом в наследовании классов, вложенными и рекурсивными типами данных. Книга Бенджамина Пирса «Типы в языках программирования» предназначена для студентов и аспирантов, обучающихся в области информатики.

985 просмотров всего, 1 просмотров сегодня