MK
но вообще суть такая
Size: a a a
2021 February 11
AA
не такая, конечно
MK
я же говорил
DD
но вообще суть такая
а как это в хаскеле делается? там вроде все нечистые это тип данных отдельный или функция особенная?
MK
можно считать, что нечистые функции помечены в типах
MK
например
a -> IO b нечистаяDS
Dmitry Dugin
Я правильно понимаю один из аспектов функционально подхода в отношении чистых и нечистых функций? мы изолируем нечистые функции(ввод-вывод допустим) , а они уже вызывают чистую функцию, которая в свою очередь может последовательно вызвать цепочку чистых функций. таким образом изолируется "грязный" код как я понял.
Мне кажется, что это ошибка авторов учебников, что они приводят к таким крайним точкам зрения у начинающих. Забейте пока на эту тему и продолжайте дальше изучать язык и тренироваться. Потом все разложится по полочкам само
DD
в фп подходе код стараются писать так чтобы нечистые io функции были изолированы в отдельном месте программы?
AA
нет
AA
@maksbotan неправильно объясняет просто
MK
Я ЖЕ ГОВОРИЛ
AA
Dmitry Dugin
в фп подходе код стараются писать так чтобы нечистые io функции были изолированы в отдельном месте программы?
попробуйте спросить его что тут где изолируется и как и он засыпется сразу
DD
ведь если мы не будем стараться их изолировать, то цепочка вызовов в которую попадает нечистая функция далее становится цепочкой вызовов грязного кода
MK
из чистой нельзя вызвать нечистую
AA
Dmitry Dugin
ведь если мы не будем стараться их изолировать, то цепочка вызовов в которую попадает нечистая функция далее становится цепочкой вызовов грязного кода
ну да, вот и спросите его как изоляция происходит, чего и от чего
MK
поэтому цепочку замарать нельзя
DS
Dmitry Dugin
ведь если мы не будем стараться их изолировать, то цепочка вызовов в которую попадает нечистая функция далее становится цепочкой вызовов грязного кода
лучше думайте в терминах ссылочно-прозрачных функций - отложите "чистоту" / "нечистоту" пока в сторону
IR
Dmitry Dugin
Я правильно понимаю один из аспектов функционально подхода в отношении чистых и нечистых функций? мы изолируем нечистые функции(ввод-вывод допустим) , а они уже вызывают чистую функцию, которая в свою очередь может последовательно вызвать цепочку чистых функций. таким образом изолируется "грязный" код как я понял.
За этим только в хаскельной семье следят. В том же ML всем пофиг на эффекты и они "функциональный подход" всё равно.
DD
За этим только в хаскельной семье следят. В том же ML всем пофиг на эффекты и они "функциональный подход" всё равно.
понятно