Здравствуйте, thesz, Вы писали:
T>>>Bottom — это и не завершимость тоже. Циклический вызов функциями друг друга в бесконечном цикле — тоже bottom. А порождения throw some_value не даёт.
MC>>Изначально мы говорили о противоречии. А незавершающиеся вычисления противоречием не являются. Противоречие — это когда мы доказали что-то чего доказать не должны были.

T>Это и есть противоречие.
"Это" — это что? Незавершающиеся вычисления? Ну если ты сможешь доказать, что они не завершатся — тогда, я считаю, можно о каком-то противоречии говорить.
Кстати, в том же хаскеле явное использование undefined (ок, если хочешь, будем говорить о нем как о вычислениях, незавершимость которых доказана) как раз приводит к исключению, если вдруг потребуется его значение.
Так что я продолжаю настаивать на том, что противоречие — это исключение.

T>Так что Лисп ничему не учит.
Ты так часто это повторяешь, что я начинаю сомневаться, что ты в это веришь.