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

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

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

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

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

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

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

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

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

cmp ax, 02Ah
jz right_answer_found

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

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

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

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

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

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

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

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

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

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

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

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

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14 151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 17th, 2025 04:12 pm
Powered by Dreamwidth Studios