Родные баяны 4 - А68
И последнее в этой подборке (по счету, но не по содержанию). В отличие от предыдущего здесь ничего от себя - все из Великой Книги! Да, было время и были люди, которые так описывали языки программирования! И языки были такие же, как люди!
Пересмотренное сообщение об алгоритмическом языке АЛГОЛ 68
Избранное
Эпиграфы к разделам
0.4.5. Переводы
Нет мудрости без капельки абсурда.
И с этим спорить было бы не мудро.
Пит Хайн. «Груки»
1.1.2 Прагматика
Всего лишь подтверждающая деталь, предназначенная для придания художественного правдоподобия повествованию бесцветному и неубедительному.
В.Ш. Гилберт «Микадо»
1.3 Общие гиперправила
Сократ. Однако если … имена должны быть выражением чего-либо, знаешь ли ты иной, лучший способ создать эти выражения, нежели сделать их возможно более тождественными тому, что они должны выразить?
Платон «Кратил»
2.2.2 Семантика
Я могу объяснить все стихи, какие есть, - и многие из тех, которые еще не придуманы.
Льюис Кэрролл «Сквозь зеркало»
9.2. Примечания и прагматы.
Источник невинного развлечения.
В.Ш. Гилберт «Микадо»
10.3 Описание обмена
- Выходит! - Закричал Пух. - Я хочу сказать, он входит!
- Входит! - Закричал Пятачок.
- И выходит!
- Здорово выходит! - закричал Иа-Иа. - Входит и выходит - прямо замечательно!
А. А. Милн. «Вини-Пух и все-все-все»
10.5. Собственные вступления и заключения
От упырей и призраков, от длинноногих бестий и тварей, налетающих по ночам, Господи, избави нас!
Древняя корнуоллская молитва
Цитаты
0.4.4. Семантика
а) Чтобы убрать из семантики некоторые часто встречающиеся фразы, одни технические термины были пересмотрены, а другие введены заново.
<…>
Парапонятия, обозначающие конструкты, могут теперь содержать метапонятия, а «гиперпонятия» введены для того, чтобы обозначать протопонятия.
* * *
6. Приведение
Приведения порождают приводимое из приведенного в соответствии с тремя критериями: априорного вида приводимого до применения какого-либо приведения, апостериорного вида приведенного, требуемого после выполнения приведений, и синтаксической позиции, или «приводимости» этого приведенного. Приведения могут применяться друг к другу последовательно.
Существует шесть возможных приведений, называемых «распроцедуривание», «разыменование», «объединение», «обобщение», «векторизация» и «опустошение». Каждое приведение, исключая «объединение», оказывает соответствующее динамическое влияние на связанные с ним значения. Следовательно, при помощи приведений неявно можно запрограммировать ряд примитивных действий.
< …>
В сильных позициях могут встретиться все шесть приведений, в крепких позициях запрещены векторизация, обобщение и опустошение, в раскрытых и слабых позициях, кроме того, запрещено объединение, а в мягких позициях разрешено только распроцедуривание. Однако ФОРМА-выдающая-СОСТАВНОЕ-после-разыменования не может быть прямым наследником приведенной-ФОРМЫ-слабо-выдающей-СОСТАВНОЕ (правило d), поскольку в противном случае x := x1[i] было бы двусмысленно синтаксически (хотя в данном случае не семантически). <…>