MB
Да тут уже много философствовали на эту тему, но дефолтное определение "чистой" функции на мой взгляд все равно полезное
Size: a a a
2020 November 06
ST
Да тут уже много философствовали на эту тему, но дефолтное определение "чистой" функции на мой взгляд все равно полезное
ты не рассказал, как ты из этого определения пользу извлекаешь
MB
Я бы сказал так, чистые функции не приводят к сюрпризам
ST
Я бы сказал так, чистые функции не приводят к сюрпризам
рекурсивная чистая функция валится со stackoverflow на большой коллекции — сюрприз 😊
MB
В "хороших" языках не валится)
MB
И это не такой уж сюрприз, это баг, который легко увидеть и пофиксить
MB
А вот искать, в какой части программы тест неожиданно поменялся, куда сложнее
ST
рекурсивная чистая функция валится со stackoverflow на большой коллекции — сюрприз 😊
чистая функция, которая создает объект, не вмещающийся в выделенную память — сюрприз 😊
MB
Можно также философствовать на тему того, что goto это тоже норм, надо руки прямые иметь :)
MB
чистая функция, которая создает объект, не вмещающийся в выделенную память — сюрприз 😊
Опять же, это тривиально отследить
ST
И это не такой уж сюрприз, это баг, который легко увидеть и пофиксить
ну тогда я не понимаю, какой сюрприз от наличия логирования внутри моей чистой функции
MB
Предположим это большая программа, я бы ожидал, что строки будут выводиться в том порядке, в каком я их встречаю в коде
MB
А тут легко перемешаются логи
MB
Но в целом здесь ничего прям совсем страшного
MB
А вот если атом менять из мапа, то это точно к сюрпризам приведет)
MB
Предположим это большая программа, я бы ожидал, что строки будут выводиться в том порядке, в каком я их встречаю в коде
Собственно чтобы такое не происходило в хаскеле и пляшут с монадами
ST
Предположим это большая программа, я бы ожидал, что строки будут выводиться в том порядке, в каком я их встречаю в коде
с точки зрения чистоты функции здесь какой сюрприз?
логирование не является целью функции, это инфраструктурный элемент.
логирование не является целью функции, это инфраструктурный элемент.
MB
что такое точка зрения чистоты функции?
MB
Мы уже вроде договорились, что определение "чистоты" условное. Я объяснил, чем обычное определение чистоты на мой взгляд полезно с практической точки зрения - простота отладки и отсутствие неожиданного поведения
ST
что такое точка зрения чистоты функции?
ну вот я приводил пример
```
это функция, которая увеличивает на 1
ещё автор для каких-то целей добавил туда логирование
как должно поменяться моё отношение к данной функции от наличия в ней println?
```
(def f [x] (print x) (inc x))```
это функция, которая увеличивает на 1
ещё автор для каких-то целей добавил туда логирование
как должно поменяться моё отношение к данной функции от наличия в ней println?