3

此代码不进行类型检查：

import Network.HTTP.Conduit
import qualified Data.ByteString.Char8 as BS

main :: IO ()
main = do
  resp <- simpleHttp "http://www.google.com"
  putStrLn $ BS.unpack resp

引发以下错误：

Couldn't match expected type `BS.ByteString'
            with actual type `Data.ByteString.Lazy.Internal.ByteString'
In the first argument of `BS.unpack', namely `resp'
In the second argument of `($)', namely `BS.unpack resp'
In a stmt of a 'do' block: putStrLn $ BS.unpack resp
Failed, modules loaded: none.

如何解决这个问题？更改为其他 ByteString 变体不起作用。

函数的类型simpleHttp是这样的：simpleHttp :: Control.Monad.IO.Class.MonadIO m => String -> m Data.ByteString.Lazy.Internal.ByteString. 所以我尝试在 IO monad 中获取 ByteString 并尝试unpack它，但这会导致错误。

4

1 回答 1

3

有两个独立的 ByteString 模块，一个用于惰性字节字符串，一个用于严格字节字符串。simpleHTTP 返回一个惰性字节串，但您导入了严格的字节串模块，因此 unpack 需要一个严格的字节串。

尝试改变

import qualified Data.ByteString.Char8 as BS

到

import qualified Data.ByteString.Lazy.Char8 as BS

也就是说，如果您使用 bytestring 模块的 Char8 版本，则需要小心，因为 String <-> ByteString 转换仅在您使用 ASCII 编码时才有效。我建议使用适当的编码功能将您的字节串转换为文本，然后打印出来。

于 2014-01-14T14:18:54.103 回答