lista transformatora monady

Question

Potrzebuję użyć transformatora listy Monady. Czytałem, że istnieją potencjalne problemy z ListT IO z Control.Monad.List, ponieważ IO nie jest przemienne, więc patrzę na ListT done right. Ale dostaję jakieś nieoczekiwane zachowanie.

Rozważmy prosty test:

test = runListT $ do 
    x <- liftList [1..3] 
    liftIO $ print x 
    y <- liftList [6..8] 
    liftIO $ print (x,y) 

Korzystanie Control.Monad.List:

Main> test 
1 
(1,6) 
(1,7) 
(1,8) 
2 
(2,6) 
(2,7) 
(2,8) 
3 
(3,6) 
(3,7) 
(3,8) 
[(),(),(),(),(),(),(),(),()] 

Używanie "ListT zrobione dobrze":

Main> test 
1 
(1,6) 

Czy ten problem " ListT done right ", czy też używam go nieprawidłowo? Czy istnieje preferowana alternatywa?

Dzięki!

Answer 1

To może być intensional ze strony autora, ponieważ mówią

że pozwala każdy element listy posiada własnych efektów ubocznych, które tylko się `ścięci” jeśli ten element listy jest naprawdę sprawdzony.

Nie jestem jednak pewien. W każdym razie, można użyć tej funkcji do sekwencjonowania całą listę :

runAll_ :: (Monad m) => ListT m a -> m() 
runAll_ (ListT m) = runAll_' m where 
    runAll_' m = do 
     mm <- m 
     case mm of 
      MNil   -> return() 
      _ `MCons` mxs -> runAll_' mxs 

i analogiczną runAll że zwraca listę powinien być łatwy do skonstruowania.

main = runAll_ $ do 
    x <- liftList [1..3] 
    liftIO $ print x 
    y <- liftList [6..8] 
    liftIO $ print (x,y) 

1 
(1,6) 
(1,7) 
(1,8) 
2 
(2,6) 
(2,7) 
(2,8) 
3 
(3,6) 
(3,7) 
(3,8)