p
Чтобы можно было рефакторить код не включая голову на тему того, какой же непонятный побочный эффект может сделать вызов данной функции
main = do
_ <- bar
догадайся что делает bar
_ <- bar
догадайся что делает bar
Size: a a a
2020 April 23
p
он с равным успехом может вывести на экран 10, сделать "rm -rf /", дропнуть базу, или просто вернуть 2
p
в чем удобство непонимаю
AZ
main = do
_ <- bar
догадайся что делает bar
_ <- bar
догадайся что делает bar
если я в монаде то я знаю что нужно быть аккуратным. А в сишарпе у меня _Весь_ код в монаде
DS
main = do
_ <- bar
догадайся что делает bar
_ <- bar
догадайся что делает bar
Так мне не нужно знать, что он делает. Мне важно, чтобы можно было такие вещи делать:
И т.д. и т.п.
main = do
x <- do { bar; foo; wat; wan }
y <- do { bar; foo; wat; wan }
return x + y
Заменить на
main = do
let action = do { bar; foo; wat; wan }
x <- action
y <- action
return x + y
И т.д. и т.п.
DS
Вообще не включая при этом мозг
DS
Я знаю, что такие мои действия семантику программы не поменяют
AZ
ты офк не читаешь что я на хабре пишу, но я там писал пример как я на 4 часа поломал прод потому тчо 2 строчки кода местами поменял и всё развалилось
p
выносишь в отдельную функцию
AZ
будь в шарпе ио я бы так не ошибся
A
p
ты офк не читаешь что я на хабре пишу, но я там писал пример как я на 4 часа поломал прод потому тчо 2 строчки кода местами поменял и всё развалилось
это решается и без ссылочной прохрачности ИО которое не ссылочно прохрачно на самом деле.
p
я не против ИО и не против ссылочной прохрачности. Я против ссылочно прохрачного ИО
DS
выносишь в отдельную функцию
Это надо думать, где можно переиспользовать значения вызовов функций, где нельзя, где вызов может что-то плохое сделать, где нет.
Тут мне не надо мозг включать вообще
Тут мне не надо мозг включать вообще
AZ
я не против ИО и не против ссылочной прохрачности. Я против ссылочно прохрачного ИО
ио без ссылочной прозрачности не нужно
AZ
это буквально Id монада чтобы декорировать эффекты внешнего мира
DS
я не против ИО и не против ссылочной прохрачности. Я против ссылочно прохрачного ИО
IO - без ссылочной прозрачности - это считай энергичный Task из шарпа или Future из скалы, а мы все знаем насколько плохо это заканчивается
p
просто сделать сахарок <- над функциями которые возвращают IO и вот вся ваша ссылочная прохрачность
G
Жульники эти фпшники ну их нафиг
p
ио без ссылочной прозрачности не нужно
можно как в расте - делать ИО разрешено только в блоке IO { /* here */ }