Ваше месторасположение на сайте: • » » Типы в языках программирования  

Типы в языках программирования

Типы в языках программирования

Типы в языках программирования — Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал.
Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики.

Название: Типы в языках программирования
Автор: Бенджамин Пирс
Издательство: Лямбда пресс, Добросвет
Год: 2010
Страниц: 656
Формат: PDF
Размер: 5,43 Мб
Качество: Отличное
Язык: Русский

Содержание:

Предисловие
1. Введение
2. Математический аппарат
I Бестиповые системы
3. Бестиповые арифметические выражения
4. Реализация арифметических выражений на языке ML
5. Бестиповое лямбда-исчисление
6. Представление термов без использования имен
7. Реализация лямбда-исчисления на ML
II Простые типы
8. Типизированные арифметические выражения
9. Простое типизированное лямбда-исчисление
10. Реализация простых типов на ML
11. Простые расширения
12. Нормализация
13. Ссылки
14. Исключения
III Подтипы
15. Подтипы
16. Метатеория подтипов
17. Реализация подтипов на ML
18. Расширенный пример: императивные объекты
19. Расширенный пример: Облегченная Java
IV Рекурсивные типы
20. Рекурсивные типы
21. Метатеория рекурсивных типов
V Полиморфизм
22. Реконструкция типов
23. Универсальные типы
24. Экзистенциальные типы
25. Реализация Системы F на ML
26. Ограниченная квантификация
27. Расширенный пример: еще раз императивные объекты
28. Метатеория ограниченной квантификации
VI Системы высших порядков
29. Операторы над типами и виды
30. Полиморфизм высших порядков
31. Подтипы высших порядков
32. Расширенный пример: чисто функциональные объекты
Приложения
А. Решения избранных упражнений
В. Принятые обозначения
Литература
Список иллюстраций
Предметный указатель

Скачать Типы в языках программирования



Скачать бесплатно Типы в языках программирования на высокой скорости и по прямой ссылке !


Теги:

Типы

,

языках

,

программирования

«Случайные цитаты»
Мы теперь другие. Мы были усталыми и обманутыми, мы жили в крохотных комнатушках, тайком ели сладости, но теперь мы лучезарны и блистательны. Мы уже не отдельные кто-то. Мы — часть чего-то более громадного и изумительного, чем то, что могут вообразить живые © Майкл Каннингем
Категория: | Добавил: | год и месяц назад

Типы в языках программирования
Так же советуем посмотреть

Игорь Христофоров в 6 книгах


Христофоров Игорь Николаевич - автор книг криминальной прозы "Бой без правил", "Русские рабыни", "Сучья зона" и других. Окончил Киевское высшее военно-морское политическое училище и Военно-политическую академию им. В. И Ленина. Капитан 1 ранга.

Радио №10 2000


"Радио" - ежемесячный научно-технический журнал для радиолюбителей. Издается с 1924 года. Основные направления публикаций: аудио-видео техника; бытовая электроника; компьютеры; телекоммуникации.

Злотников Р , Николаев А. - Мир Вечного. Лучший дуэт галактики (сборник)


Охота на охотника. Ричард Сандерс, специальный агент Федерального бюро, не зря заслужил прозвище Счастливчик. Но с новой миссией ему определенно, не повезло - мало того что предстоит отправиться на бандитскую планету Хлайб так еще и в обществе русского десантника с манерами землекопа и внешностью дикого медведя.

Информация
Комментирование доступно только зарегистрированным пользователям! Мы просим вас войти под своим аккаунтом, или же зарегистрироваться, для удобства.
Design powered by XTreme.ws™ © 2008-2016