轉換Haskell的IO表列出類型

Question

可能重複：
haskell-problem: io string -> [int]

我怎麼能Haskell的IO列表轉換爲正常的名單？

IO [value] -> [value] 

是否有任何內置的函數來做到這一點？

Answer 1

有些方法可以做你所要求的，但它是不安全的。因此，我認爲你應該反過來看待這個問題。在清單IO中，您應該將純粹的功能提升到IO。

比方說，你想從數據庫列表和應用一些純函數，那麼你可以做到以下幾點：

yourFunc = do 
    list <- getListFromDB 
    return (myPureFunction List) 

，或者如果你想打印結果後記：

yourFunc = do 
    list <- getListFromDB 
    print (myPureFunction List) 

一般來說，爲了計算IO單子內純 結果，你可以使用讓：

yourFunc = do 
    list <- getListFromDB 
    let result = myPureFunction list 
    return result 

或更緊湊：

import Control.Monad((=<<)) 
import Control.Applicative((<$>)) 

yourFunc = print =<< myPureFunction <$> getListFromDB