V🇺
но необязателен
Size: a a a
2016 April 15
IS
А как было бы без >>= и >>
IS
Как композировать-то тогда?
V🇺
достаточно (»=) и return, » через них определяется
V🇺
они бы понадобились в каком-то виде
V🇺
но можно, например, назвать их ioListF :: a -> IO b -> IO a -> IO b и ioLift :: a -> IO a
V🇺
и не реализовывать Monad IO a
V🇺
и ввод-вывод бы никуда не делся
IS
ioLiftF наверно
V🇺
да
IS
Ммм а не потеряли бы мы прелести трансформеров тогда?
V🇺
да, в удобстве бы потеряли
V🇺
в этом и смысл монад - с ними можно работать, абсрагируять от того что там внутри
V🇺
но выразить все можно и без них, просто больше boilerplate-кода будет
V🇺
я тут подумал что нельзя IO просто как текст программы определить
V🇺
потому что тогда мы не сможем гарантировать типобезопасность для нее
V🇺
IO монада волшебная
IO монада или IO тип?