YS
Вместо IO
Size: a a a
2020 December 12
DB
Да, тока Async енто не монада
KV
Я хочу, чтобы ИО меня не блочил, вот и сё)
Надо писать ио процедуры, которые не блочат. И не будет блочить
DB
Надо писать ио процедуры, которые не блочат. И не будет блочить
ах вот оно шо)
DB
а как...
KV
forkIO
DB
Блин, сложна, как вы эти программы проектируете
DB
forkIO
зачем, если есть async
KV
зачем, если есть async
Ну тода async
к
ещё такой вопрос вдогонку: как мне в монадический трансформер затащить асинхронность? кто-то такое делал?
f :: MonadIO m => m Int
f = do
x <- liftIO $ async do
threadDelay 99999999
pure 1
liftIO $ print "a"
y <- liftIO $ wait x
pure y
f = do
x <- liftIO $ async do
threadDelay 99999999
pure 1
liftIO $ print "a"
y <- liftIO $ wait x
pure y
YS
Да, тока Async енто не монада
Да, не так написал - возвращай Async в IO
DB
Да, спасибо, сообразил)
DB
если в стеке только ридер, то можно использовать unliftio
Не, анлифт это какая-то хрень, удалось избежать, хотя тоже изначально думал.
DB
я просто научил SqlT возвращать
Async a вместо a и сделал тайпкласс MonadAsync m с методом wait :: Async a -> m aMK
больше mtl богу mtl!
DB
Ну) Ну я экспериментирую)
KV
Ну) Ну я экспериментирую)
Потом окажется, что проще тупо в ио писать. С имплисит аргументами