Haskell Curl 帮助

Question

好的，我正试图围绕 Haskell 中的 IO 进行研究，我想我会编写一个处理网页的简短小应用程序来完成它。我被绊倒的 sn-p 是（向bobince 道歉，但公平地说，我不想在这里解析 HTML，只是提取一两个值）：

titleFromUrl url = do
    (_, page) <- curlGetString url [CurlTimeout 60]   
    matchRegex (mkRegexWithOpts "<title>(.*?)</title>" False True) page

上面应该采用字符串形式的 URL，用matchRegex 扫描它指向的页面，并返回Nothing 或Just [a]，其中a 是匹配的（可能是多行的）字符串。令人沮丧的是，当我尝试这样做时

Prelude> (_, page) <- curlGetString url [CurlTimeout 60]
Prelude> matchRegex (mkRegexWithOpts "<title>(.*?)</title>" False True) page

在解释器中，它完全符合我的要求。当我尝试从文件加载相同的表达式并关联imports 时，它给了我一个类型推断错误，指出它couldn't match expected type 'IO b' against inferred type 'Maybe [String]'。这告诉我我错过了一些小而基本的东西，但我不知道是什么。我尝试将page 显式转换为字符串，但这只是迷信编程（在任何情况下都不起作用）。

有什么提示吗？

Answer 1

是的，GHCi 接受任何类型的值。你可以说：

ghci> 4
4
ghci> print 4
4

但这两个值（4 和print 4）显然不相等。 GHC 的神奇之处在于，如果您输入的内容评估为IO something，那么它会执行该操作（如果something 不是()，则打印结果）。如果没有，那么它会在该值上调用show 并打印它。无论如何，您的程序无法访问此魔法。

当你说：

do foo <- bar :: IO Int
   baz

baz 应为IO something 类型，否则为类型错误。这会让你执行 I/O，然后返回一个纯值。您可以通过注意到对上述产量进行脱糖来检查：

bar >>= (\foo -> baz)

和

-- (specializing to IO for simplicity)
(>>=) :: IO a -> (a -> IO b) -> IO b

因此

bar :: IO a
foo :: a
baz :: IO b

解决方法是使用return函数将你的返回值变成一个IO值：

return :: a -> IO a  -- (again specialized to IO)

你的代码是：

titleFromUrl url = do
    (_, page) <- curlGetString url [CurlTimeout 60]   
    return $ matchRegex (mkRegexWithOpts "<title>(.*?)</title>" False True) page

对于上面的大部分讨论，您可以将任何 monad 替换为 IO（例如 Maybe、[]、...），它仍然是正确的。