Data.Vector.Binary 与 Binary [a] 实例重叠

Question

在我的应用程序中，我需要序列化包含任意数据类型的向量，在本例中是双精度列表。为了序列化向量，我导入 Data.Vector.Binary。

在 GHCi 中加载模块时出现以下错误：

Overlapping instances for Binary [Double]
  arising from a use of `decode' at Statistics.hs:57:33-42
Matching instances:
  instance (Data.Vector.Generic.Base.Vector v a, Binary a) =>
           Binary (v a)
    -- Defined in Data.Vector.Binary
  instance (Binary a) => Binary [a] -- Defined in Data.Binary

该列表是 Vector 的实例吗？ 我查看了文档但找不到这样的实例。

我该怎么做才能序列化这个结构？

编辑：

我正在使用以下软件包版本：

• vector-0.6.0.2
• vector-binary-instances-0.1.2
• binary-0.5.0.2

这里还有一个显示问题的代码片段，这次带有字符列表：

import Data.Binary
import Data.Vector.Binary
import qualified Data.ByteString.Lazy as L

main = L.writeFile "/tmp/aaa" $ encode "hello"

Answer 1

好吧，我想我看到了问题所在。 vector-binary-instances 包定义：

instance (Data.Vector.Generic.Base.Vector v a, Binary a) => Binary (v a)

这是非常糟糕的。这个定义意味着“对于任何类型‘v a’，这是一个有效的 Binary 实例”。这意味着此实例可用于与 v a 匹配的任何类型。这包括（但不限于）所有列表、所有函子和所有单子。作为演示，ghci 报告如下：

Prelude Data.Binary Data.Vector.Binary Data.ByteString.Lazy> :t getChar
getChar :: IO Char
Prelude Data.Binary Data.Vector.Binary Data.ByteString.Lazy> encode getChar
<interactive>:1:0:
    No instance for (Data.Vector.Generic.Base.Vector IO Char)
      arising from a use of `encode' at <interactive>:1:0-13
    Possible fix:
      add an instance declaration for
      (Data.Vector.Generic.Base.Vector IO Char)
    In the expression: encode getChar
    In the definition of `it': it = encode getChar

Here the Interpreter is attempts to use this instance for getChar :: IO Char，这显然是错误的。

简短的回答：暂时不要使用向量二进制实例。该实例已损坏，考虑到实例如何通过 Haskell 代码传播，它将导致问题。在解决此问题之前，您应该为向量编写自己的二进制实例。您应该能够从向量二进制实例复制代码并将其限制为单态向量类型

instance (Binary a) => Binary (Vector a) where

我相信这适用于作为 Data.Vector.Generic.Vector 实例的任何向量。

您可能还需要联系向量二进制实例维护者来了解此事。