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




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


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

4.7.3.1. Динамические, статические и относительно-статические ЯП. (Назначение системы типов данных в Аде)

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

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

Другие свойства и связи изменяются в процессе исполнения области действия. Их называют динамическими.

Например, конкретное значение переменной - динамическое свойство. Связь формального параметра с конкретным фактическим в результате вызова процедуры - динамическая связь. Размер конкретного массива с переменными границами - динамическое свойство.

Часто статические и динамические характеристики называют соответственно характеристиками периода компиляции (периода трансляции) и периода выполнения, подчеркивая то обстоятельство, что в период компиляции исходные данные программы недоступны и, следовательно, динамические характеристики известны быть не могут. Известны лишь характеристмки, извлекаемые непосредственно из текста программы и тем самым относящиеся к любому ее исполнению (т.е. статические характеристики).




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