НА
Хотя не противоречит твоему описанию
Противоречит. Запись в файл - операция, которая может привести к исключению. Исключение - это побочный эффект. Если оно возникло, то оно повлияет на возвращаемое значение.
Size: a a a
2020 June 14
AK
Николай Артамонов
Противоречит. Запись в файл - операция, которая может привести к исключению. Исключение - это побочный эффект. Если оно возникло, то оно повлияет на возвращаемое значение.
Если я исключение обрабатываю на месте?
AK
Ну сам поход в файл это сайд эффект
AK
Как и в сеть
AK
Пьюр фанкшн не должен зависеть ни от чего
НА
Если я исключение обрабатываю на месте?
Если ты все исключения обрабатываешь на месте и результат вычисления функции никак не зависит от того, что ты там с этим файлом делаешь, и кроме того, эти манипуляции никак не влияют на выч. окружение других частей программы, то эту функцию можно рассматривать как чистую. К слову, некоторые хаскельные функции внутри делают in-place мутации, но имеют чистый интерфейс.
НА
Пьюр фанкшн не должен зависеть ни от чего
Пьюр фанкшн не должен иметь "видимых" наружу эффектов. Так будет точнее.
AK
Николай Артамонов
Пьюр фанкшн не должен иметь "видимых" наружу эффектов. Так будет точнее.
В таком случае поход в сеть тоже не особо запрещен
AK
Функция при походе в файл и сеть перестает быть детерминированной
AK
То есть аутпут зависит не только от инпута
AK
Следовательно для одного инпута возможно несколько аутпутов в разные моменты времени
НА
В таком случае поход в сеть тоже не особо запрещен
Опять же - если 1) этот поход никакого влияния не возвращаемое значение не оказывает и 2) ты обрабатываешь все возможные исключения, причем так, что эта обработка опять же не оказывает влияние на возвращаемое значение, и 3) результат обращения в сеть не оказывает влияния на последующие в программе вызовы других функций - тогда эту функцию можно рассматривать как чистую.
AK
Николай Артамонов
Опять же - если 1) этот поход никакого влияния не возвращаемое значение не оказывает и 2) ты обрабатываешь все возможные исключения, причем так, что эта обработка опять же не оказывает влияние на возвращаемое значение, и 3) результат обращения в сеть не оказывает влияния на последующие в программе вызовы других функций - тогда эту функцию можно рассматривать как чистую.
Читай выше
НА
Функция при походе в файл и сеть перестает быть детерминированной
Зачастую да, потому что сложно представить ситуацию, когда ты лезешь в сеть и это не оказывает влияния на результат функции, либо последующие вызовы функций в программе. Но чисто теоретически так можно сделать. Правда, это будет бесполезное обращение в сеть.
AK
Николай Артамонов
Зачастую да, потому что сложно представить ситуацию, когда ты лезешь в сеть и это не оказывает влияния на результат функции, либо последующие вызовы функций в программе. Но чисто теоретически так можно сделать. Правда, это будет бесполезное обращение в сеть.
Тогда это сайд эффект
AK
Короче ни при каких условиях поход в сеть не может существовать в чистой функции
ND
Есть же монады
ND
Тот же IO в хаскеле выполняет сайд эфект, но результат все равно чистый
AK
Тот же IO в хаскеле выполняет сайд эфект, но результат все равно чистый
А где детерминированность?
AK
Потерял по дороге?