p
и print соответсвенно вызовется тоже
Size: a a a
2020 April 23
DS
все равно функция print вызовется, иначе вывода не будет
Да, но ссылочная прозрачность не будет от этого нарушена по определению.
Потому что когда ты вывзваешь foo, тебе возвращается не (), а IO(st -> (print "a") st)
Потому что когда ты вывзваешь foo, тебе возвращается не (), а IO(st -> (print "a") st)
AZ
ты ее вызовешь все равно когда-то
не вызовешь
AZ
ты не омжешь её вызвать
p
Да, но ссылочная прозрачность не будет от этого нарушена по определению.
Потому что когда ты вывзваешь foo, тебе возвращается не (), а IO(st -> (print "a") st)
Потому что когда ты вывзваешь foo, тебе возвращается не (), а IO(st -> (print "a") st)
вывод будет все равно
AZ
у тебя нет в языке фунцкии IO a -> a
AZ
ты _не можешь_ *вызвать* ИО
p
у тебя нет в языке фунцкии IO a -> a
<-
AZ
это не вызво функции
AZ
это биндинг с лямбдой
p
это не вызво функции
вызов функции
p
это биндинг с лямбдой
это внутренности компилятора, снаружи это вызов функции
AZ
вызов функции
let foo = print("a").and_then(|()| ())
где тут вызов функции?AZ
я получу вывод на экран или нет?
p
let foo = print("a").and_then(|()| ())
где тут вызов функции?тут их два снаружи и еще один внутри
AZ
тут их два снаружи и еще один внутри
так на экран что-то выведется или нет?
p
я получу вывод на экран или нет?
хз, не знаю что делает print
AZ
хз, не знаю что делает print
возвращает
IO ()p
возвращает
IO ()мне это ничего не говорит, внутри что угодно может быть
AZ
мне это ничего не говорит, внутри что угодно может быть
ну тогда возвращайся когда что-нибудь по теме поизучаешь