June 13th, 2018

404

(размышляя над проблемами интерпретации вычислений)

Не существует метода доказать, что компьютер, осуществляющий только чистые вычисления, что-либо делает. Если такой метод есть, это означает, что компьютер совершает некий сайд-эффект, то есть не является чисто вычислительным.

... Более того, вся магия компьютеров состоит не в вычислительной части, а в наличии у них сайд-эффектов. Только благодаря тому, что мы можем управлять сайд-эффектами с помощью тех самых чистых функций, компьютер имеет смысл в окружающем мире.

Утверждение о том, что чистая функция берёт значения и выдаёт результат не меняя ничего в окружающем мире — ложь. Раньше у нас был результат, теперь нет. Вот если она реально ничего не меняет в окружающем мире, то тогда да, функция чистая.

Чистая и бесполезная.