G
херня, функция все равно делает ио а оно по определению непрозрачно
Если бы ты дочитал книгу по идрису то узнал бы что это не так
Size: a a a
2020 April 23
p
Тупо формально посмотреть удовлетворяет ли ему функция возвращающая IO
ну ок она возвращает ио и делает внутри себя вывод. возврат чистая операция, вывод - нет. вывод - функция нечситая (мне лень писать "ссылочно прохрачная")
DS
ну ок она возвращает ио и делает внутри себя вывод. возврат чистая операция, вывод - нет. вывод - функция нечситая (мне лень писать "ссылочно прохрачная")
Погоди, где вывод делается?
DS
Вывод не делается при вызове этой функции
p
делается
p
foo = do
_ <- print "a"
вот здесь выводится "a" когда я вызываю функцию
_ <- print "a"
вот здесь выводится "a" когда я вызываю функцию
DS
foo = do
_ <- print "a"
вот здесь выводится "a" когда я вызываю функцию
_ <- print "a"
вот здесь выводится "a" когда я вызываю функцию
Нет, это же IO.
Когда ты вызовешь foo тебе вернется IO(st -> (print "a") st) и print при этом выполнен не будет.
Когда ты вызовешь foo тебе вернется IO(st -> (print "a") st) и print при этом выполнен не будет.
p
ну я вызову функция через <- а не через (), какая разница
DS
ну я вызову функция через <- а не через (), какая разница
Большая разница, <- это не вызов функции.
DS
Это flat_map
p
ну ты придумал другое имя для вызова функции
AZ
ну ты придумал другое имя для вызова функции
а await блокирует асинхронную операцию, да-да
DS
ну ты придумал другое имя для вызова функции
Нет, <- - это не вызов функции. Это сахар для фукнций, которые умеют комбинировать IO
p
Нет, <- - это не вызов функции. Это сахар для фукнций, которые умеют комбинировать IO
это сахар для вызова функции, да
DS
это сахар для вызова функции, да
Но не функции print
p
Но не функции print
ну она вызовется
DS
А сахар для вызова функций >> и >>=
p
все равно функция print вызовется, иначе вывода не будет
DS
ну она вызовется
И она точно так же возвращает IO и ничего не делает в этот момент.
p
И она точно так же возвращает IO и ничего не делает в этот момент.
ты ее вызовешь все равно когда-то