SP
или как там
do
writeInFile "Hello"
writeInFile "Hello"
do
writeInFile "Hello"
writeInFile "Hello"
тогда:
let x = writeInFile("Hello");
let y = writeInFile("Hello");
вызовут на печать строчки
Size: a a a
2020 June 26
A
На го?
Это грех?
SP
хочешь сказать что в хаскеле именно заморачиваются с тем чтобы каррировать и пропихивать дальше вместо копипасты?
AZ
или как там
do
writeInFile "Hello"
writeInFile "Hello"
do
writeInFile "Hello"
writeInFile "Hello"
это сахар для:
do
_ <- writeInFile "Hello"
_ <- writeInFile "Hello"
Который дальше рассахаривается в последовательность биндов, и снова никакой нечистоты нетAZ
хочешь сказать что в хаскеле именно заморачиваются с тем чтобы каррировать и пропихивать дальше вместо копипасты?
в хаскелле заморачиваются чтобы каррирование (а точнее, любой биндинг) само по себе не делало никаких действий
AZ
да, суть ИО только в этом
AZ
чтобы print ("Hello") не делал реально вывод, а давал биндинг, с которым можно потом что-то делать
SP
нечистоты нет но вызывая одну и ту же функцию(да, вызывая, через ду, через _ <- writeInFile "Hello") - у тебя прет нечистота
SP
чтобы print ("Hello") не делал реально вывод, а давал биндинг, с которым можно потом что-то делать
ну так этот момент легко проебать и сделать биндинг повторно
AZ
нечистоты нет но вызывая одну и ту же функцию(да, вызывая, через ду, через _ <- writeInFile "Hello") - у тебя прет нечистота
ну ты вызвал одну и ту же функцию дважды, но мы можем применить правило чистоты, мы должны иметь возможнотсь заменить вызов функции на результат, проверяем:
do
let writeHello = writeInFile "Hello"
_ <- writeHello
_ <- writeHelloSP
вернее не повторно а повторно с биндингом к ио
AZ
получим тот же результат, значит все верно
P
Чо вы умные такие то все
SP
убедил в этом появилось чуть больше поинта чем было
P
Кто из FANG тут?
AZ
переменная writeHello типа IO одна и та же, но два бинда на неё дают разные результаты
SP
переменная writeHello типа IO одна и та же, но два бинда на неё дают разные результаты
да, это неплохо согласен
V
ну ты вызвал одну и ту же функцию дважды, но мы можем применить правило чистоты, мы должны иметь возможнотсь заменить вызов функции на результат, проверяем:
do
let writeHello = writeInFile "Hello"
_ <- writeHello
_ <- writeHelloО, я про метод замещения как раз сегодня в "фп в скале" увидел
V
Интересный подход