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

Question

在我的应用程序中，我需要序列化一个包含任意数据类型的向量，在本例中是一个 Doubles 列表。为了序列化我正在导入 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 的实例吗？
我查看了文档，但找不到这样的实例。

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

编辑:

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

矢量-0.6.0.2

矢量二进制实例-0.1.2

二进制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 的类型。 .这包括(但不限于)所有列表、所有仿函数和所有 monad。作为演示，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

这里解释器试图将此实例用于 getChar :: IO Char。 ，这显然是错误的。

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

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

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

您可能还想就此联系 vector-binary-instances 维护者。