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

(Пока оценок нет)
Загрузка...

Навазние: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 2012
ISBN: 978-5-7913-0082-9, 978-5-9902824-1-4, 978-0-262-16209-8


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

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

41 просмотров всего, 0 просмотров сегодня




Скачать книгу:


UniBytes (PDF)
GigaBase (PDF)
Share4web (PDF)


Купить:


Ozon

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *