А. П. Ершов — С. С. Лаврову

[1] Из переписки

А. П. Ершов

27.01.1964
Копии: М. Р. Шура-Буре,
В. М. Курочкину

Дорогой Святослав Сергеевич!

Благодарю Вас за письмо от 12 января и за текст с определением «среднего АЛГОЛа». В целом у меня нет возражений против принятого варианта, кроме одного принципиального замечания. Я совершенно определенно считаю, что в той части языка, которая относится собственно к АЛГОЛу 60 (т. е. за вычетом неописанных процедур), все официально фиксируемые уровни
АЛГОЛа должны быть строго упорядочены. При этом мне думается, что SUBSET должен принадлежать этой иерархии.

Я согласен с тем, что в отношении «малого АЛГОЛа» есть ряд неясностей. Прежде всего, в отношении цели его разработки. Очевидно, что фрагмент АЛГОЛа 60, выбираемый в качестве непременного ядра возможных расширений АЛГОЛа, может оказаться другим, нежели фрагмент АЛГОЛа, выбираемый для самых хилых трансляторов.

Что до уточнений в полном АЛГОЛе, то мне кажется, что нужно стремиться к его определенности, ничего не выбрасывая, по возможности, из его изобразительных средств. В этом плане, мне кажется неправильным выбрасывание собственный, хотя, по правде говоря, трудности, связанные с созданием начального значения, мне кажутся непреодолимыми, особенно при запрещении побочного эффекта.    

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

Что касается соображений в отношении расширений АЛГОЛа, то они появятся у нас только к концу года после проведения исследований по определению реальной статистики использования тех или иных изобразительных средств Входного языка.

С уважением

Примечание

[1] Машинописный текст, архив, папка 99, листы 155—156.

Из сборника «Андрей Петрович Ершов — ученый и человек». Новосибирск, 2006 г.
Перепечатываются с разрешения редакции.