Haskell中的IO操作的復現

我正試圖重寫一個從一個或多個網頁中抓取信息並將其轉換爲閃存卡的小程序。小片段在這裏：Haskell中的IO操作的復現

-- | this takes a string and produces IO [Tag String] 
getVerbePage x = fmap parseTags $ openURL $ "http://leconjugueur.lefigaro.fr/conjugaison/verbe/" ++ x ++ ".html" 

main = do 
    tags <- getVerbePage "aller" 
    -- | from here I do whatever I like with a clean [Tag String]

在一段時間我都沒有問題做一個，在IO轉到做循環，然後我做什麼，我需要與純函數。我真的不知道如何在經常性的方式做到這一點，基本上就是我後：

-- | this takes a string and produces IO [Tag String] 
getVerbePage x = fmap parseTags $ openURL $ "http://leconjugueur.lefigaro.fr/conjugaison/verbe/" ++ x ++ ".html" 

main = do 
    verbsString <- getLine -- | example input "aller pouvoir" 
    let verbs = splitOn " " verbsString -- | list of strings 
    pages <- getVerbePages verbs 
    -- | from here use pure functions on pages, which would be type [[Tag String]] 

getVerbePages :: [String] -> [[Tag String]] -- | I guess. 
getVerbePages ps = ??????

的問題是我怎麼寫了在PS中每個字符串getVerbePages循環和清潔退貨嗎？我已經能夠做到遞歸動作以及所有到目前爲止的好處，非常適合Haskell newb，但我不明白在重複執行IO動作時所有這些都是如何工作的。

來源

2012-05-19 MalucoMarinero

如果你想重複同一個IO行動的事情列表，那麼你可以使用mapM。它的類型簽名（這裏專門用來IO）

mapM :: (a -> IO b) -> [a] -> IO [b]

與getVerbPage使用這將意味着a型變量String和b類型變量是[Tag String]。那麼你應該有mapM getVerbPage :: [String] -> IO [[Tag String]]，這就是你想要的getVerbPages的定義。

來源

2012-05-19 10:16:45 ScottWest

乾杯，這就是我一直在尋找的東西，在我的初學者書中還沒有達到，只是去追趕它。 'getAllPages VS = MAPM getVerbePage vs' 'getVerbePage X = FMAP parseTags $的OpenURL $ 「http://leconjugueur.lefigaro.fr/conjugaison/verbe/」 ++ X ++名「.html」' 由於一堆。 – MalucoMarinero

Haskell中的IO操作的復現

回答

相關問題