Телеграмм чат группы haskellru страница 14995

Я не хочу из Application писать в IO напрямую

14:18пожаловаться #1

У меня есть способ обраться к базе, есть логгер

14:18пожаловаться #2

зачем мне IO?

14:18пожаловаться #3

Kirill Valyavin in Haskell

Зачем притворяться, что ио нет?

14:18пожаловаться #4

Странно

14:18пожаловаться #5

Kirill Valyavin

Зачем притворяться, что ио нет?

14:18пожаловаться #6

чтобы не писать MonadAsync

14:18пожаловаться #7

когда уже есть MonadIO

14:19пожаловаться #8

Kirill Valyavin

Зачем притворяться, что ио нет?

Оно просто не нужно

14:19пожаловаться #9

Ну как не нужно

14:19пожаловаться #10

кана

когда уже есть MonadIO

MonadIO даёт сильно больше, чем нужно

14:19пожаловаться #11

тогда все равно

14:19пожаловаться #12

Ты вот теперь способы обхода придумываешь

14:19пожаловаться #13

можно сделать await = Application wait

14:19пожаловаться #14

внутри application то есть monadio

14:19пожаловаться #15

Danil Berestov

MonadIO даёт сильно больше, чем нужно

Просто не пиши в App ту логику, где тебе нужны гарантии

14:19пожаловаться #16

Что чего-то там нет

14:20пожаловаться #17

Я бы так сделал

14:20пожаловаться #18

кана

можно сделать await = Application wait

Ну можно

14:20пожаловаться #19

я понимаю желание ограничить монаду

но желания писать свой тайпкласс для ограниченного monadio не понимаю