[identity profile] yatur.livejournal.com 2012-07-11 06:49 pm (UTC)(link)
Я вам больше скакжу - даже else это дрыгоножество и рукомашество. Все, что нужно настоящему сварщику это команда test и команда jump. Но - "Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy" (c) Alan Perlis

[identity profile] ivan-gandhi.livejournal.com 2012-07-11 06:52 pm (UTC)(link)
Стрелки Пирса недостаточно?

[identity profile] yatur.livejournal.com 2012-07-11 06:54 pm (UTC)(link)
Не думаю. Чтобы достичь Turing completeness все-таки нужна память. Т.е., как минимум - оператор присваивания.

[identity profile] aamonster.livejournal.com 2012-07-11 07:22 pm (UTC)(link)
С чего бы именно оператор присваивания? Доказательство тьюринг-полноты нетипизированного лямбда-исчисления вроде общедоступно...

[identity profile] yatur.livejournal.com 2012-07-11 07:25 pm (UTC)(link)
А из одной стрелки Пирса можно получить нетипизированное лямбда-исчисление? В лямбдах тоже есть присваивание, только они называют его "capture" или, там, "binding".

[identity profile] aamonster.livejournal.com 2012-07-11 07:50 pm (UTC)(link)
Ихт бин чайник - я не дошёл до стрелок Пирса.
А то, что в лямбдах - таки не присваивание. Но если смущает наличие имён, которым приписываются значения - то можно вместо него взять комбинаторы (как водится - I, K, S).

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

[identity profile] antilamer.livejournal.com 2012-07-12 02:21 am (UTC)(link)
Не, стрелки Пирса недостаточно. Но зато есть базис, состоящий из всего одного комбинатора http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-14.pdf

[identity profile] yatur.livejournal.com 2012-07-12 10:39 pm (UTC)(link)
Вот эти великие комбинаторы и есть дрыгоножество и эстетство :)
А для настоящего сурового программиста нет ничего ближе

cmp ax, 02Ah
jz right_answer_found

А статья, кстати, интересная, спасибо за ссылку.
Edited 2012-07-12 22:40 (UTC)

[identity profile] eacher.livejournal.com 2012-07-11 07:37 pm (UTC)(link)
да он упоротый!

or data : April 02, 2012 but why 02?
Edited 2012-07-11 19:50 (UTC)

[identity profile] nponeccop.livejournal.com 2012-07-11 08:22 pm (UTC)(link)
да, я это тоже заметил.
garote: (Default)

[personal profile] garote 2012-07-11 08:13 pm (UTC)(link)
Oh yeah? Try writing an interrupt handler in assembly language. You'll be doing more than checking conditions and branching, there!

[identity profile] djuffin.livejournal.com 2012-07-11 08:24 pm (UTC)(link)
Ну а секс - это просто тряска и переливание жидкостей. Фу как скучно.

[identity profile] nivanych.livejournal.com 2012-07-12 03:11 am (UTC)(link)
- С огорчением вынуждена говорить это — зачатие не удалось...
- Ах, опять эти нелепые телодвижения...

[identity profile] sorhed.livejournal.com 2012-07-11 09:52 pm (UTC)(link)
Вот там про секс хорошо сказали.

[identity profile] aka-author.livejournal.com 2012-07-12 06:56 am (UTC)(link)
Про пианистов кто-то так сказал: тоже мне работа, всего-навсего вовремя нажимать на нужные клавиши.

[identity profile] migmit.livejournal.com 2012-07-12 01:26 pm (UTC)(link)
Судя по тому, что комментов там нет - не дурак.

[identity profile] codedot.livejournal.com 2012-07-14 02:43 am (UTC)(link)
Не даром выражение if (a) return b; else return c; записывается как a b c в лямбдах.

[identity profile] ivan-gandhi.livejournal.com 2012-07-14 03:10 am (UTC)(link)
:) Глубокое замечание.