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

[thedeemon.livejournal.com]

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

[some41.livejournal.com]

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

[nealar.livejournal.com]

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

[some41.livejournal.com]

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

[nealar.livejournal.com]

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

[some41.livejournal.com]

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