哈斯克尔：与IO单子堆栈绑定和[]

Question

我：

stuff :: IO [String] 
doThings :: String -> IO [()] 

，我想

stuff >>= doThings 

，但我的类型了。我想本质上做一个提升的绑定，但我所尝试的一切都很微妙。

Answer 1

有了您的原稿类型，你可以这样做：

stuff >>= mapM_ doThings 

此，如果你改变doThings有型doThings :: String -> IO()

Answer 2

如果你有很多这样的功能也适用，这是教科书用例ListT：

main = runListT $ do 
    string <- ListT stuff 
    ListT $ doThings string