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



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


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

Иногда пользуются и еще более тонкой классификацией характеристик по фактору изменчивости. Например, связывают изменчивость не с областью действия объекта, а с периодом постоянства других его избранных характеристик (скажем, выделяемого объекту пространства или связи с другими объектами (каналами ввода-вывода и т.п.)).

Уровень изменчивости характеристик допустимых в языке денотатов - одно из важнейших свойств языка. Одна крайняя позиция представлена концепцией неограниченного (образно говоря "разнузданного") динамизма, когда по существу любая характеристика обрабатываемого объекта может быть изменена при выполнении программы. Такая концепция не исключает прогнозирования и контроля, но не связывает их жестко со структурой текста программы.

Неограниченный динамизм присущ не только практически всем машинным языкам, но и многим языкам программирования достаточно высокого уровня. Эта концепция в разной степени воплощена в таких динамических ЯП, как Бейсик, Апл, Лисп, отечественные ИНФ и Эль-76 [11]. Идеология и следствмя динамизма заслуживают отдельного изучения.

Другая крайняя позиция выражена в стремлении затруднить программисту всякое изменение характеристик денотатов. Вводя знак, нужно объявить характеристики денотата и использование знака должно соответствовать объявленным характеристикам.


Содержание  Назад  Вперед