Языки программирования. Практический сравнительный анализ


Языки программирования. Практический сравнительный анализ - стр. 254


При таком общем взгляде на раздельную трансляцию управление ею становится столь же разнообразным и сложным, как программирование в целом. Такой взгляд может быть полезным, например, при конкретизирующем программировании, когда универсальный модуль рассматривается как генератор разнообразных версий программы, учитывающих особенности конкретных применений.

Разнообразными становятся и способы извлечения из внешней среды информации об указанных особенностях (параметры, анализ среды, диалог с программистом и т.п.). Так что в общем случае создание универсальных модулей в корне отличается от написания частей конкретных программ. Такие модули становятся метапрограммами, описывающими процесс или результат создания частей конкретных программ. Поэтому язык для написания универсальных модулей и управления их связыванием в общем случае может сильно отличаться от исходного языка программирования. Так что рассмотренный общий взгляд по существу выводит за рамки собственно раздельной трансляции.

Настройка "универсальных" модулей на конкретное применение в Аде есть - ее обслуживает аппарат родовых сегментов. Но конкретизация родовых сегментов выполняется не при связывании собственно модулей, а позже, в рамках трансляции сегментов.

Конец замечания.

 

4.20. Основные абстракции: нотация (представление знаков)

4.20.1. Проблема знака в языке программирования

Вспомним, что ЯП - знаковая система для планирования поведения исполнителя. Но знаковая ситуация возникает лишь тогда, когда знак может быть передан отправителем и получен адресатом. Как отправителем, так и адресатом  может оказаться и человек, и компьютер. Язык программирования должен быть, во-первых, средством мышления людей, создающих программы, во-вторых, средством их общения между собой по поводу создания программ; в-третьих, средством общения людей с компьютерами и ,в-четвертых, компьютеров между собой. Для людей важно, чтобы знаки были и выразительны, и надежны, и лаконичны, и удобны для письма и чтения.


- Начало -  - Назад -  - Вперед -