кто-то там вылез с вечными истинами

[juan_gandhi]

"Developer hard truth No. 1: It's all just if-then-else statements
Language designers argue about closures, typing, and amazing abstractions, but in the end, it's just clever packaging wrapped around good, old if-then-else statements."

Дядя Петя, ты дурак?

Comments

[yatur.livejournal.com]

Не думаю. Чтобы достичь Turing completeness все-таки нужна память. Т.е., как минимум - оператор присваивания.

[aamonster.livejournal.com]

С чего бы именно оператор присваивания? Доказательство тьюринг-полноты нетипизированного лямбда-исчисления вроде общедоступно...

[yatur.livejournal.com]

А из одной стрелки Пирса можно получить нетипизированное лямбда-исчисление? В лямбдах тоже есть присваивание, только они называют его "capture" или, там, "binding".

[aamonster.livejournal.com]

Ихт бин чайник - я не дошёл до стрелок Пирса.
А то, что в лямбдах - таки не присваивание. Но если смущает наличие имён, которым приписываются значения - то можно вместо него взять комбинаторы (как водится - I, K, S).

Хотя, конечно, при реализации - будут присваивания и условные переходы. Во всяком случае, на всех известных мне платформах.

[antilamer.livejournal.com]

Не, стрелки Пирса недостаточно. Но зато есть базис, состоящий из всего одного комбинатора http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-14.pdf

[yatur.livejournal.com]

Вот эти великие комбинаторы и есть дрыгоножество и эстетство :)
А для настоящего сурового программиста нет ничего ближе

cmp ax, 02Ah
jz right_answer_found

А статья, кстати, интересная, спасибо за ссылку.