amarao_san

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

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

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

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

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


Error

default userpic

Your IP address will be recorded 

When you submit the form an invisible reCAPTCHA check will be performed.
You must follow the Privacy Policy and Google Terms of use.