两个不同的类型类可以使用相同的方法名吗？

Question

假设我有

class Foo a where
    (++=) :: a -> a -> a
    cool  :: (a -> b -> b) -> a -> b

并想做

class Bar a where
    (++=) :: (a -> b) -> a -> b
    magic :: a -> b

它有一个重叠的方法名称,(++=).有什么方法可以做到这一点吗？

Answer 1

这个问题有一个微妙的“不是，是”的答案，它需要进入三个概念：

第 1 点：Haskell 中的每个定义都有一个简短的非限定名称，例如map，和一个长的限定名称，例如Data.List.map。

第 2 点：当您将一个模块导入另一个模块时，您可以进行合格或不合格的导入。当您使用非限定导入时，您引入的外部模块的名称将以其短名称作为别名。当您进行限定导入时，它们将仅在修改后的名称下可用：

import qualified Data.Map as Map

现在在出现它的模块中，该Data.Map.map函数在 alias 下可见Data.map。

第三点：这意味着每个 Haskell 定义都有一个完全限定名称，由其短名称和定义它的模块决定，但在导入它的每个模块中还有非限定或部分限定的别名。

现在，你的问题有两个答案：

两个不同的类不能具有共享相同完全限定名称的方法。因此，如果您在同一个模块中定义您的Foo和Bar类，那将会失败。
两个不同的类可以具有共享相同非限定名称的方法，只要它们的完全限定名称不同——即，它们在不同的模块中定义。但是，要在一个客户端模块中同时使用两者，您将需要至少一个合格的导入，以便导入的别名不会发生冲突。