Cтраница 4
Новый список появляется в модели задачи также, если переменная в уравнении или операторе принимает значение несуществующего списка. Данное обстоятельство позволяет моделировать многомерные массивы, представимые в этом случае как списки списков. Например, после выполнения оператора присваивания вида abc [ i ] [ j ] [ k ]: i j k, при i4, j6 и k5 будет создан главный список abc и его 4 - й элемент будет именовать подсписок с именем abc 4, затем будет создан список abc 4, и в 6 - й его элемент будет помещено имя подсписка нижнего уровня abc 4 6; окончательно будет создан список abc 4 6 и значение 120 ( i j k) будет присвоено его 5-му элементу. [46]
В самом общем случае левая часть оператора присваивания может содержать и переменные с индексами, и идентификаторы функций. Однако следует отметить, что они вызывают некоторое изменение правил выполнения оператора. Уточнение правил выполнения оператора присваивания будет сделано в следующем параграфе. [47]
Одним из следствий использования механизма сильной типизации является то, что типы формальных и фактических параметров должны совпадать. Рассмотрим пример из практики. Оказывается, что выполнение оператора присваивания Y: Y A X необходимо обеспечить для большого набора различных скалярных типов. [48]