|
Рассмотрены фундаментальные концепции и принципы, воплощенные в современных и
перспективных языках программирования. Представлены разные стили программирования
(операционный, ситуационный, функциональный, реляционный, параллельный, объектно-ориентированный).
Базовые концепции и принципы рассмотрены с пяти различных позиций (технологической,
авторской, математической, семиотической и реализаторской) и проиллюстрированы
примерами из таких языков, как Паскаль, Симула-67, Смолток, Рефал, Ада, Модула-2,
Оберон, Оккам-2, Турбо Паскаль, С++ и др. Сложность выделена как основополагающая
проблема программирования, а абстракция-конкретизация и прогнозирование-контроль - как
основные ортогональные методы борьбы со сложностью. На этой общей базе в книге впервые
представлена цельная система концепций и принципов, создающая четкие ориентиры в
области языков программирования. На основе этой системы сформулированы оригинальные положения,
указывающие перспективы развития в этой области (модули исключительных ситуаций,
модули управления представлением, входовые типы и др.). Многие из них в последние
годы стали реальностью. Новые подходы применены при изложении известных фактов
(пошаговая модификация нормальных алгоритмов Маркова сначала до Рефала,
а затем до реляционных языков, сопоставление принципов "сундука" и "чемоданчика"
при создании Ады, Модулы-2 и Оберона, развитие концепции наследуемости от
модульности до объектной ориентации, систематическое сопоставление концепции
параллелизма в Аде и Оккаме-2, и др.). Для всех, серьезно интересующихся программированием,
в том числе научных работников, программистов, преподавателей и студентов.
Подробнее...
|
