小编won*_*nce的帖子

我试图了解haskell中的ad-hoc多态性,即具有相同的函数为不同的参数类型提供不同的行为.

但是,以下测试代码编译

{-# LANGUAGE MultiParamTypeClasses #-}

class MyClass a b where
    foo :: a -> b

instance MyClass Bool Int where
    foo True = 0
    foo False = 1

instance MyClass Double Double where
    foo x = -x

如果我尝试使用类似的东西来调用它

foo True

ghci对我大吼:

No instance for (MyClass Bool b0) arising from a use of `foo'
The type variable `b0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
Note: there is a potential instance available:
  instance MyClass …

我通常需要在两个可迭代对象之间复制数据。除了slices的特殊情况，我在标准库中没有找到合适的函数，所以我尝试自己写一个：

fn copy(source: /* ? */, target: /* ? */) {
    for (s, t) in source.zip(target) {
        *t = s.clone();
    }
}

使该函数尽可能通用的数据类型的正确选择是什么？