更改函数以支持IO String而不是String

我通过以下方式获得IO String:

import Data.Char
import Network.HTTP
import Text.HTML.TagSoup

openURL :: String -> IO String
openURL x = getResponseBody =<< simpleHTTP (getRequest x)

crawlType :: String -> IO String
crawlType pkm = do
  src <- openURL url
  return . fromBody $ parseTags src
  where
    fromBody = unwords . drop 6 . take 7 . words . innerText . dropWhile (~/= "
")
    url = "http://pokemon.wikia.com/wiki/" ++ pkm

我想通过以下方式解析其数据:

getType :: String -> (String, String)
getType pkmType = (dropWhile (== '/') $ fst b, dropWhile (== '/') $ snd b)
                  where b = break (== '/') pkmType

但是就像你看到的那样,getType还不支持IO String.

我是IO的新手,所以如何让它工作？我还尝试在将IO String提供给该函数时理解错误,但到目前为止对我来说太复杂了:/

首先,要强调:a IO String不是字符串.这是一个IO动作,当你在main动作中的某个地方绑定它时,会产生类型的结果String,但是你不应该把它想象成某种"字符串类型的变化".相反,它是该IO a类型的特殊实例.

出于这个原因,你几乎可以肯定你不想要"改变功能支持IO String,而不是String".相反,你要申请这个字符串接受功能,因为它是,到了结局crawlType行动.正如我所说,这样的结果有类型String,所以你在那里很好.例如,

main :: IO ()
main = do
   pkm = "blablabla"
   typeString <- crawlType pkm
   let typeSpec = getType typeString
   print typeSpec -- or whatever you wish to do with it.

您可以typeString通过编写^†来省略变量

   typeSpec <- getType <$> crawlType pkm

如果你更喜欢; 这对应于过程语言中的内容

   var typeSpec = getType(crawlType(pkm));

或者,您当然可以将解析权包含在crawlType:

crawlType' :: String -> IO (String, String)
crawlType' pkm = do
  src <- openURL url
  return . getType . fromBody $ parseTags src
  where
    fromBody = unwords . drop 6 . take 7 . words . innerText . dropWhile (~/= "
")
    url = "http://pokemon.wikia.com/wiki/" ++ pkm

^† _{如果您对<$>操作员的行为感到好奇:这不是do/ <-notation 等内置语法.相反,它只是一个中缀版本fmap,您可能会在其列表专用版本中更好地了解它map.列表[]和编写器IO都是,这意味着您可以通过普通函数拉动它们,仅更改元素/结果值,而不更改IO操作/列表脊柱的结构.}