Cтраница 4
Переменные - это имена ячеек памяти ЭВМ, в которых могут храниться значения и откуда они могут вызываться. Каждой переменной должно быть присвоено имя ( с использованием правил для идентификаторов из § 2.2.1), и она должна обладать типом данных. Распределение пространства памяти для каждой переменной осуществляется компилятором на основании типа данных этой переменной. Например, на распечатке 1.1 значения переменной i менялись по мере того, как программа считала до десяти и переменная i была определена как имеющая тип данных INTEGER. Поэтому ей в типичной реализации языка было бы отведено два байта пространства памяти ЭВМ. [46]
Если мы исходим из постоянного начального условия no ( q) const, то при t / Ене р существенный вклад в n ( q, t) вносят только локализованные собственные функции. Такое возникновение островков можно наглядно интерпретировать, как возникновение видов; по истечении определенного времени из первоначально недифференцированной массы индивидов под действием все возрастающего давления отбора жизнеспособными остаются только особые, четко различимые между собой комбинации фенотипических черт. В общем случае можно утверждать, что возникновения разумного процесса эволюции ( появления все более приспособленных видов) в нашей модели можно ожидать только тогда, когда имеется локализованная собственная функция. Это так называемое требование гладкости, которому должна удовлетворять функция приспособленности ( Conrad, 1978), допускает, таким образом, вполне наглядную интерпретацию. Что же касается типичных реализаций ансамбля случайных функций с корреляционной функцией (9.24), то они хотя и непрерывны, но не дифференцируемы, и поэтому при переходе от точки к точке могут изменяться весьма заметно и резко. Поскольку в этом случае система в среднем не может по известному значению функции приспособленности в точке q строить какие-либо заключения о значениях, принимаемых функцией приспособленности в ближайшей окрестности точки q, не может быть выработана стратегия, и процесс отбора не может компенсировать разрушительное действие мутаций. То, что наша модель приводит к такому режиму только при нулевой длине корреляции / О, обусловлено диффузионным приближением (9.11) для мутаций. [47]
Необходимо, однако, сделать одно предостережение. Кажущиеся незначительными изменения в языке часто могут привести к значительным изменениям во времени выполнения связываний. Например, если в Фортране разрешить рекурсию и массивы с вычисляемом размерностью, то от этих на первый взгляд простых изменений языка иными станут времена выполнения многих важнейших связываний. Именно потому, что время связывания столь сильно зависит от реализации, вам необходимо ( и мы еще раз это подчеркиваем) знать, как реализован язык программирования. Во второй части книги анализируется ряд языков. В каждом случае предполагается некоторая типичная реализация языка, и в контексте этой реализации обсуждаются времена связывания различных элементов языка. Приступая к использованию своей локальной реализации этого же языка, программист должен поинтересоваться временами связываний в этой реализации. Являются ли они обычными или локальные изменения в языке вызвали их изменения. [48]
Тем временем важные успехи в несколько ином направлении были достигнуты за счет усилий Уоррена и его коллег из Эдинбургского университета. Марсельский Пролог функционировал там еще с 1974 г., и его недостатки побудили Уоррена разработать свой собственный компилятор с Пролога на машине DEC-10, получивший в настоящее время широкое и вполне заслуженное признание за искусную конструкцию и методологию программирования. К отличительным особенностям, впервые появившимся в этом компиляторе, относятся индексирование и компилирование входных процедур, двухстековая реализация совместного использования структур, а также большое число тщательно разработанных оптимизаций, направленных на сокращение как времени обработки, так и потребляемой памяти. Для предоставления пользователю двухцелевой среды, предназначенной и для разработки, и для исполнения его программ, средства реализации Пролога на DEC-10 включают сейчас как интерпретатор, так и компилятор. Обе эти компоненты написаны преимущественно на Прологе и приведены в действие посредством раскрутки. Последующие отчеты Уоррена и др. ( 1977, 1979) включают руководство для пользователей и сравнение свойств этой системы со свойствами типичных реализаций Лиспа. В дальнейшем многие его разработки были перенесены на другие вычислительные устройства. Например, производные этой системы как с совместным использованием структур, так и без использования данного метода были установлены Меллишем ( 1982) в Эдинбургском университете на ЭВМ PDP-11, а многие из ее возможностей были включены в венгерскую систему МПролог. [49]