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

[nealar.livejournal.com]

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

[some41.livejournal.com]

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