Haskell 类型错误发生在同时编译两个分别不引发错误的代码片段时

Question

我遇到了 Haskell 的类型问题，下面的程序抛出编译时错误：

Couldn't match expected type ‘bytestring-0.10.8.2:Data.ByteString.Lazy.Internal.ByteString’ with actual type ‘Text’

程序是：

{-# LANGUAGE OverloadedStrings #-}
module Main where

...

import Control.Concurrent (MVar, newMVar, modifyMVar_, modifyMVar, readMVar)
import qualified Data.Text as T
import qualified Data.Text.IO as T
import qualified Network.WebSockets as WS
import Data.Map (Map)
import Data.Aeson (decode)

...

application :: MVar ServerState -> WS.ServerApp
application state pending = do
    conn <- WS.acceptRequest pending
    msg <- WS.receiveData conn
    -- EITHER this line can be included
    T.putStrLn msg
    -- OR these two lines, but not both
    decodedObject <- return (decode msg :: Maybe (Map String Int))
    print decodedObject

...

在我看来，基本问题是putStrLn 期望Text 而decode 期望Bytetring。

我不明白为什么我可以运行这部分代码：

T.putStrLn msg

或者我可以运行这部分代码：

decodedObject <- return (decode msg :: Maybe (Map String Int))
print decodedObject

但不能同时使用。

在程序中解决此问题的正确方法是什么？

我猜这类似于类型强制、类型推断或其他语言中的强制转换。问题是我不知道如何清楚地表达这个问题来查找它。

好像msg 可以是多种类型之一，但是一旦它被强制为一种类型，就不能再成为另一种类型了......

我也不确定这是否与重载字符串重叠。我有编译指示并且正在使用-XOverloadedStrings进行编译

我是个新手，所以希望这是一个合理的问题。

感谢您的任何建议！谢谢

Answer 1

这是因为WS.receiveData 在其返回类型上是多态的：

receiveData :: WebSocketsData a => Connection -> IO a

它只需要是WebSocketsData a 实例，Text 和ByteString 都是。所以编译器只是推断类型。

我建议你假设它是ByteString，并在使用putStrLn 时转换为Text。

Answer 2

感谢大家的建议。我最终的理解是，Haskell 中的任何值都可以是多态的，直到你强制它确定一个类型，此时它不能是任何其他类型（愚蠢，但我之前没有看到一个明确的例子）。

在我的示例中，WS.receiveData 返回多态IO a，其中a 是类WebsocketData 的一个实例，它本身由一个可以是Text 或Bytestring 的类型参数化。

Aeson decode 需要一个（懒惰的）Bytestring。假设我们选择（懒惰的）Bytestring 为我们的a，这意味着我之前提到的第一行需要变成：

T.putStrLn $ toStrict $ decodeUtf8 msg

将懒惰的ByteString 转换为严格的Text。只要我知道传入的 websocket 消息是 UTF8 编码的，我就可以这样做。

我可能有一些措辞有误，但基本上就是这样。