Question

我的函数toAVector定义如下：

class Elt a => ToAVector v a where
  toAVector :: v a -> A.Array DIM1 a

instance Elt a => ToAVector [] a where
  toAVector l =
    A.fromList (Z :. P.length l) l

instance (Elt a, G.Vector v a) => ToAVector v a where
  toAVector v =
    A.fromFunction (Z :. G.length v) (\(Z :. i) -> v G.! i)
  {-# INLINE toAVector #-}

当尝试在另一个库中使用toAVector时，我收到错误：

Overlapping instances for ToAVector [] Double
  arising from a use of ‘toAVector’
Matching instances:
  instance (A.Elt a, G.Vector v a) => ToAVector v a
    -- Defined in ‘Data.Array.Accelerate.Utils’
  instance A.Elt a => ToAVector [] a
    -- Defined in ‘Data.Array.Accelerate.Utils’

由于[]与G.Vector [] a不匹配，这对我没有意义，那么实例如何重叠？

Answer 1

实例仅与实例头匹配。所以，为了重叠或不重叠的目的，你所写的并不比

更好

instance ToAVector [] a
instance ToAVector v a

显然是重叠的。

争论另一种方式：

...由于[]与G.Vector [] a不匹配...

这在Haskell中永远不是有效的推理，因为类型类是 open 。你永远不会知道某些东西不是某个特定类的实例，因为任何人都可以在以后使它成为一个实例。

GHC抱怨重叠实例，实际上它们不是

1 个答案: