| Главная » Файлы » Книги » Типы в языках программирования |
Типы в языках программирования
 Опубликовал: Kitovras |  Дата публикации: 21.12.2024 Раздел: Книги
 Типы в языках программирования — Эта книга, уже давно ставшая классической, содержит всестороннее введение в системы типов, применяемые в информатике. Среди рассматриваемых тем - нетипизированное лямбда-исчисление, простые системы типов, полиморфизм, вложение типов и рекурсивные типы. Каждая из рассматриваемых концепций сопровождается множеством примеров и задач, что позволяет закрепить теоретический материал. Книга будет полезна как для практикующих разработчиков, так и для студентов и аспирантов в области информатики. Название: Типы в языках программирования Автор: Бенджамин Пирс Издательство: Лямбда пресс, Добросвет Год: 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. Расширенный пример: чисто функциональные объекты Приложения А. Решения избранных упражнений В. Принятые обозначения Литература Список иллюстраций Предметный указатель Скачать Типы в языках программирования
Скачать с dfiles.ru Скачать с turbobit.net Скачать с hitfile.net Скачать с uploaded.net На нашем сайте вы можете бесплатно скачать Книги без лишних регистраций и отправки платной смс, а именно скачать Типы в языках программирования бесплатно. | |
|
Просмотров: 120 | Комментарии: 0
Другие новости по теме:Ключевые теги: | |
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
