Я вам больше скакжу - даже else это дрыгоножество и рукомашество. Все, что нужно настоящему сварщику это команда test и команда jump. Но - "Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy" (c) Alan Perlis
А из одной стрелки Пирса можно получить нетипизированное лямбда-исчисление? В лямбдах тоже есть присваивание, только они называют его "capture" или, там, "binding".
Ихт бин чайник - я не дошёл до стрелок Пирса. А то, что в лямбдах - таки не присваивание. Но если смущает наличие имён, которым приписываются значения - то можно вместо него взять комбинаторы (как водится - I, K, S).
Хотя, конечно, при реализации - будут присваивания и условные переходы. Во всяком случае, на всех известных мне платформах.
Не, стрелки Пирса недостаточно. Но зато есть базис, состоящий из всего одного комбинатора http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-14.pdf
no subject
no subject
no subject
no subject
no subject
no subject
А то, что в лямбдах - таки не присваивание. Но если смущает наличие имён, которым приписываются значения - то можно вместо него взять комбинаторы (как водится - I, K, S).
Хотя, конечно, при реализации - будут присваивания и условные переходы. Во всяком случае, на всех известных мне платформах.
no subject
no subject
А для настоящего сурового программиста нет ничего ближе
cmp ax, 02Ah
jz right_answer_found
А статья, кстати, интересная, спасибо за ссылку.
no subject
or data : April 02, 2012 but why 02?
no subject
no subject
no subject
no subject
- Ах, опять эти нелепые телодвижения...
no subject
no subject
no subject
no subject
no subject
if (a) return b; else return c;
записывается какa b c
в лямбдах.no subject