Reddit comment by neelk

Цитата:

It was basically a two-level language, with one level being typed lambda calculus and the second level being a Hoare-style while loop language...

...Note that imperative commands are actually a kind of expression, so the fact that the lambda-calculus part was call-by-name is critically important -- you need it be able to build up new control structures in the imperative part by writing functions that accept commands as arguments. (You also needed to be able to pass lvalues around, so you could paramterize over the targets of an assignment statements in a command, hence the basic data types coming in lvalue and rvalue variants.)

Call-by-name — это отложенные вычисления (не ленивые — могут быть вызваны несколько раз).

Здравствуйте, thesz, Вы писали:

T>Call-by-name — это

текстуальная подстановка тела процедуры по месту вызова. что-то вроде синтаксического препроцессора. разумеется, это то, как документирована семантики, в реализации они старались это описание худо-бежно имитировать

Здравствуйте, BulatZiganshin, Вы писали:

BZ>Здравствуйте, thesz, Вы писали:

T>>Call-by-name — это

BZ>текстуальная подстановка тела процедуры по месту вызова. что-то вроде синтаксического препроцессора. разумеется, это то, как документирована семантики, в реализации они старались это описание худо-бежно имитировать

Call-by-name в императивных языках способен кучу бед причинить. Об этом ещё Вирт во "Взгляде из Зазеркалья" сокрушался...

G>Call-by-name в императивных языках способен кучу бед причинить. Об этом ещё Вирт во "Взгляде из Зазеркалья" сокрушался...

Неэффективность ещё не куча бед.

Здравствуйте, BulatZiganshin, Вы писали:
BZ>текстуальная подстановка тела процедуры по месту вызова. что-то вроде синтаксического препроцессора.
Не обязательно тела процедуры — можно использовать любое выражение языка (элемент массива, переменная и т.д.).

BZ>>текстуальная подстановка тела процедуры по месту вызова. что-то вроде синтаксического препроцессора.
А>Не обязательно тела процедуры — можно использовать любое выражение языка (элемент массива, переменная и т.д.).

Добавлю.

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

Вот тут я в ЖЖ писал: http://thesz.livejournal.com/669829.html

Вот на этой самой АМС и проводили такие эксперименты. Берётся семантика Алгола, записанная на АМС, берётся программа на Алголе, вычисляется её поток данных и получается всё время одно и то же.

Здравствуйте, BulatZiganshin, Вы писали:

BZ>Здравствуйте, thesz, Вы писали:

T>>Call-by-name — это

BZ>текстуальная подстановка тела процедуры по месту вызова.

Или, проще говоря, бета-редукция.

Здравствуйте, thesz, Вы писали:

G>>Call-by-name в императивных языках способен кучу бед причинить. Об этом ещё Вирт во "Взгляде из Зазеркалья" сокрушался...

T>Неэффективность ещё не куча бед.

Причём здесь неэффективность?