兩個不同的類型類可以有相同的方法名嗎？

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. 合格的名稱與不合格的名稱
2. 模塊和進口
3. 別名

第1點：Haskell中的每個定義都有一個簡短的非限定名稱，如map，以及一個長的限定名稱，如Data.List.map。

第2點：當您將模塊導入到另一個模塊時，可以執行合格導入或非限定導入。當您使用不合格的導入時，您帶入的外國模塊的名稱將以其短名稱進行別名。當你做一個合格的進口，他們將只提供下修改後的名稱：

import qualified Data.Map as Map 

現在模塊這個地方出現了，該Data.Map.map功能是別名Data.map下可見。第三點：這意味着每個Haskell定義都有一個完全限定的名稱，由它的短名稱和定義它的模塊確定，但是在每個導入的模塊中也有非限定或部分限定的別名。現在

，你的問題有兩個答案：

1. 兩種不同類型的不能具有共享相同完全合格名的方法。所以如果你在同一個模塊中定義Foo和Bar類，那將會失敗。
2. 兩種不同類型的可以具有共享相同不合格的名稱方法，只要其完全限定名稱是不同的，即，它們在不同的模塊正在定義。但是，要在一個客戶端模塊中使用這兩個客戶端模塊，您至少需要一個限定的導入，以便導入的別名不會發生衝突。

Answer 2

不，你不能，至少在同一模塊內。您可以在兩個不同的模塊中聲明class Foo和class Bar並將它們中的每一個導入到相同的文件中，但您仍然必須至少使用qualify以避免衝突。

Answer 3

下編譯沒有任何錯誤：

主。HS：

module Main where 

import qualified Foo 
import Bar 

instance Foo.Foo Char where 
    c1 ++= c2 = c1 

instance Bar Char where 
    f ++= c = f c 

main = do 
    putStrLn $ [ 'a' Foo.++= 'b' ] 

Foo.hs：

module Foo where 

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

Bar.hs：

module Bar where 

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

所以，換句話說，我們並不需要使用它的完全限定名稱引用++=在實例聲明中，但在main中使用時，我們需要指定我們正在討論的++=。在實例聲明中，我們已經定義了++=的範圍，而main不知道哪一個被引用，如果我們使用了不合格的導入。因此，如果我們只想定義類實例，那麼我們不需要限定的導入。