AZ
и что угодно
Size: a a a
2020 January 16
B
return же обратно в монадку оборачивает, вроде
AZ
return это легаси пюр, забылипро него
AZ
pure - да, оборачивает в монаду
AZ
учитывая что ты сравниваешь со списком (вроде)
AZ
или футурой
B
return это легаси пюр, забылипро него
Как забыли? ... А ду синтаксис?
AZ
то pure это [x] или ok(x) соответственно
AZ
Как забыли? ... А ду синтаксис?
return это не часть синтаксиса
AZ
можешь написать
do
x <- foo
[x*2]B
Ну если лист монада, тип?
AZ
ну да, ретурн просто полиморфный
B
А если
foo :: IO Int
foo :: IO Int
AZ
ну для ио нет публичного конструктора
AZ
так что явно его не вызвать, да
B
Без ретурн не выйдет, насколько помню
AZ
но ио самая скучная монада
AZ
она ничего не умеет
B
>_<
Скучная
Скучная
AZ
ну ты можешь положить данные в ио