Turing completeness

[thedeemon]

"A property of universal computation — Turing completeness — is that a computer program can write a computer program." - пишет Rob Pike на сайте golang.org, рассказывая об очередной прорывной инновации в тулчейне Go. Я раньше думал, они там лишь последние 30-40 лет пропустили, простите, был неправ.

Comments

[wizzard]

Долбаный стыд.

[volodymir-k.livejournal.com]

очевидно димон не читал классическую книгу пайка от 1978 года, где в 4 и 7 главе ЕМНИП он как раз и писал компиляторы и тд

мысль про "инновацию" скорее всего спонтанно выросший таракан димона, а не пайка

[wizzard]

эм... то есть ты согласен с этим определением тьюринг-полноты? о_О

[some41.livejournal.com]

Пайк и не написал, что это определение.

[wizzard]

Там именно "is that" а не "implies that".

Если бы было "implies that", вопросов бы не было. Хотя нет, вру, вопросов к Go всё равно очень много.

[some41.livejournal.com]

Property это свойство, а не определение.

[nealar.livejournal.com]

Turing completeness — is that a computer program can write a computer program

WUT?

[some41.livejournal.com]

Читать предложение с начала не пробовали?

[nealar.livejournal.com]

Давайте свой перевод "предложения с начала".

[some41.livejournal.com]

На русский computationally universal и Turing complete переводят одинаково (http://en.wikipedia.org/wiki/Turing_completeness), так что получится просто "Одно из свойств полноты по Тьюрингу, это что программа может написать программу."

[nealar.livejournal.com]

Одно из - в оригинале где?
Значок — между computation и Turing в переводе где?
Второе — правильно переведено это что, а куда первое ушло?

[some41.livejournal.com]

> Одно из - в оригинале где?
"A" в данном случае, это "одно из". Учите английский.

> Значок — между computation и Turing в переводе где?
Похоже вы не знакомы с использованием тире вместо запятых: en.wikipedia. org/wiki/Dash#Parenthetic_and_other_uses_at_the_sentence_level

[nealar.livejournal.com]

где?
Похоже вы не знакомы
От ответа уклонился, оок.

Для того, чтобы перевести это предложение так, как Вам хочется, достаточно предположения, что первое и второе — здесь переводятся по-разному. Но версия, что я дурак и не учил в школе английский тоже подходит.

[some41.livejournal.com]

Во-первых, знаки препинания не переводятся. Использование тире в этом предложении объяснено по ссылке, которую я дал. Если вы учили английский, то пойдите и прочитайте.
Во-вторых, мне ничего не хочется. Пайк написал слегка пафосное, но вполне понятное предложение. Вы пытаетесь доказать, что оно значит что-то другое. При этом для Пайка английский язык родной, а для вас нет. Занавес.

[nealar.livejournal.com]

Я пытаюсь доказать? Где??

[some41.livejournal.com]

http://thedeemon.livejournal.com/94444.html?thread=1553644#t1553644

[maxim.livejournal.com]

Программа на Coq может написать программу на Haskell.
Следует ли из этого, что Coq тюринг полный?

[some41.livejournal.com]

Не оригинально. Эту же логическую ошибку уже сделал wizzard0 в комментарии прямо под этим ↓.

[wizzard]

Хм, с этим согласен. Тем не менее, это свойство не только тьюринг-полных программ.

[some41.livejournal.com]

Обратной импликации в этом предложении тоже нет :)

[thedeemon.livejournal.com]

"Свойство шариковой ручки в том, что ей можно написать программу". Т.е. в принципе оно так, но при чем тут...

[some41.livejournal.com]

Согласен, не совсем понятно причем. С таким вступлением, я думал они JIT в го добавили.

[nealar.livejournal.com]

Почему JIT? Разве это не о метапрограммировании?

[some41.livejournal.com]

Я думал, что генерацией кода в процессе билда особо никого не удивишь. В процессе исполнения еще куда ни шло. А тут и вообще весь пост про синтаксис комментария для запуска внешней программы.

[nealar.livejournal.com]

С точки зрения "программы, которые пишут программы" JIT от AOT же ничем принципиально не отличается?

[some41.livejournal.com]

В широком понимании под "программы, которые пишут программы" подходит и сам компилятор. Я после такого помпезного вступления думал, что будет гораздо более существенная фича объявлена.

[Аrthg Бhrw (from livejournal.com)]

Когда вывалилась шестая старуха, мне надоело смотреть на них, и я пошел на Мальцевский рынок, где, говорят, одному слепому подарили вязаную шаль.

[soonts.livejournal.com]

Там дальше ещё ёбанный стыд, где про stringer tool - ради экономии 3 байтов на диске они совершенно на пустом месте попали на динамическое выделение памяти и сборку мусора.

[some41.livejournal.com]

А где там динамическое выделение памяти?

[soonts.livejournal.com]

Я конечно не знаю шо там за рантайм у них, однако мне кажется что в линии "return _Pill_name[_Pill_index[i]:_Pill_index[i+1]]" конструируется новая строка.
Если бы не их "оптимизация", метод бы возвращал статические экземпляры строк, а не новые создавал.

[some41.livejournal.com]

Конструируется, ага. Но строка в го это структура из двух слов, передаваемая по значению (примерно как в D), так что никакого выделения памяти здесь нет.

[sober-space.livejournal.com]

Да не реагируйте вы на них, это стадный инстинкт :))

[zerthurd.livejournal.com]

Декаданс какой-то у них начался. То значит генерики не нужны, то давайте всё будем кодогенерить. Но если учесть, что все популярные технологии программирования сделаны бредово (C, C++, Ruby, PHP, C#), двигаются они в правильном направлении.

[wizzard]

Хм, а что сделано не бредово?
(Это не сарказм, но любопытно узнать вкусы на сей счёт)

[maxim.livejournal.com]

Как это, разве ты не знаешь? :-)

[wizzard]

Я спрашивал про *вкусы* zerthurd'a!

[maxim.livejournal.com]

Ну так а шо ты думаешь он на чем-то другом пишет?

[zerthurd.livejournal.com]

На Lua!

[wizzard]

Бинго!

[zerthurd.livejournal.com]

Хаскель, окамль. Rust вроде бы, но я его плохо смотрел.

[nealar.livejournal.com]

Erlang? Или ты ему изменил?

[zerthurd.livejournal.com]

В ерланге платформа хорошая, а язык сам по себе не очень.

[gineer.livejournal.com]

Knowing how to code is like knowing a foreign language. It doesn’t matter much if you have nothing to say. (С)

[zerthurd.livejournal.com]

Секта свидетелей цитат пожаловала. «Милости прошу к нашему шалашу!» ©

[sober-space.livejournal.com]

дельта-функцию изобрел именно Хевисайд, но не стал ее выпячивать, чтобы не дразнить математических гусей... короче, Пайк, даже если бы ты написал "the definition of Turing completeness is" мое уважение к тебе нисколько бы не уменьшилось. :)

[fi_mihej.livejournal.com]

Здравствуйте!
Я Пайк, и я есть очень благодарен за ваши коментарий. Я настолько благодарен, даже выучил русский язык и сейчас это говорю. Спасибо еще раз!

С уважением, Пайк

[sober-space.livejournal.com]

Тебе спасибо. Давай, покажи этим снобам где раки зимуют :D