Haskell HTTP 响应中 ByteStrings 的笨拙的类型签名

Question

我正在试验 http-conduit 库并有这个简单的例子：

#!/usr/bin/env stack
{- stack
    --resolver lts-7.12
    --install-ghc
    runghc
    --package http-conduit
-}
{-# LANGUAGE OverloadedStrings #-}

import Network.HTTP.Conduit
import Data.ByteString.Lazy.Internal

getUrl :: IO (Data.ByteString.Lazy.Internal.ByteString) ---eeew!
getUrl = do
  resp <- simpleHttp "http://www.stackoverflow.com"
  return resp

我从this post 了解到，与 [Char] 或字符串相比，我更喜欢将响应作为 ByteString。我认为 OverloadedStrings 杂注可能会减少这个问题，但相对于我的输出类型似乎没有改变。

该函数运行良好，并且尽职尽责地为 SO 的主页打印出一个简单的 http 响应，但是那个类型签名看起来真的很难看：

getUrl :: IO (Data.ByteString.Lazy.Internal.ByteString)

我不得不说，我从 Internet 示例中很少看到类似的东西（我们比椭圆形 Java 导入有更多的点，伙计）。是对的吗？如果我想返回一个响应然后开始解析它，比如使用 HXT 或 tagoup 或 attoparsec，这是正确的方法或类型签名吗？

我注意到，例如，当我开始添加接受参数的功能时，这变得更加丑陋，例如提供不同的 URL：

import Network.HTTP.Conduit
import Data.ByteString.Lazy.Internal

-- alright, first arg is now string for my url...
getUrl :: String -> IO (Data.ByteString.Lazy.Internal.ByteString)
getUrl url = do
  resp <- simpleHttp url
  return resp


main :: IO (ByteString)  -- what?!  inside the () ?
main = do
  getUrl "https://www.stackoverflow.com"

这似乎不健康。我应该如何理解如何正确构建它？

Answer 1

您始终可以使用限定路径编写类型。但是，由于您已经导入了 Data.ByteString.Lazy.Internal 并且除非您在范围中有其他 ByteString 类型（如严格的类型），您可以简单地省略 Data.ByteString.Lazy.Internal：

getUrl :: IO ByteString

另外，除非您有特殊需要导入Internal，否则我建议您只导入Data.ByteString.Lazy（它也会导出您正在使用的惰性ByteString 类型）。如果您在范围内同时拥有严格和懒惰的ByteString，我会将它们导入合格的：

 import qualified Data.ByteString as BS
 import qualified Data.ByteString.Lazy as BL

那么BS.ByteString 是严格类型，BL.ByteString 是懒惰类型 - 无需写出完整的 Data.ByteString.ByteString 或 Data.ByteString.Lazy.ByteString。

还值得一提（感谢@duplode）任何一个字节串模块通常都是最好的导入限定，因为它们定义了一大堆与前奏（以及彼此）冲突的函数。

最后，请注意，类型周围的括号本身没有任何作用。 (ByteString) 和 ByteString 是相同的。因此，我不会包括它们。

---

与您的问题无关，但对您的一元代码有一些评论：

• 每次你写类似的东西

  do x <- e
     return x
  

  它可以只替换为e。

• 每次你写类似的东西

  do e
  

  可以替换为e。