MP
import Control.Concurrent.Async.Lifted as LAsync
do
a <- LAsync.async
atomically $ blabla
do
a <- LAsync.async
atomically $ blabla
Size: a a a
2020 May 06
MP
Couldn't match type ‘m’ with ‘IO’
MP
что логично конечно
AV
тогда нужно m () -> IO () ?
AV
atomically откуда?
MP
тогда нужно m () -> IO () ?
почему?
AV
первая строчка в
m, а вот вторая неочевидноMP
atomically :: STM a -> IO a
AV
обычный, ок
MP
да
AV
тогда liftIO $ atomically $ blabla
MP
надо искать лифтет версию?
AV
или liftBase $ atomically $ blabla
AV
Смотря что ты хочешь сделать
AV
Вообще lifted-async не очень честная штука
KV
Смотря что ты хочешь сделать
А есть разница?
AV
во внутрь atomically контекст прокинуть или сам atomically поднять
MP
тогда liftIO $ atomically $ blabla
а, все проканало, это в другом месте mismatch был
спасибо!
спасибо!
AV
А с форком есть 3 вещи:
1. как разделять состяние, не всегда просто копировать можно
2. как состояния в тредах взаимодействуют и взаимодействуют ли
3. как мержить состояния в конце и надо ли
1. как разделять состяние, не всегда просто копировать можно
2. как состояния в тредах взаимодействуют и взаимодействуют ли
3. как мержить состояния в конце и надо ли
MP
Вообще lifted-async не очень честная штука
ну мне надо ReaderT . ExceptT . StateT а там вроде все честно