Haskell：具有類類型參數的類實例

Question

美好的一天。我是Haskell的新手。關於聲明和實例化一些自定義類，有一點我不清楚。

1. haskell中有一個標準類Integral。根據hackage，Integral聲明強制方法quot :: a -> a -> a。所以這意味着該類的每個實例都應該有這個方法的實現，對吧？

2. 我們可以聲明一些功能，採用積分作爲參數，如：

proba :: (Integral a) => a -> a -> a 
proba x y = x `quot` y 

到目前爲止好

現在讓我們宣佈我們的自己的類普羅巴：

class Proba a where 
    proba :: a -> a -> a 

我可以實現像這樣的Int或Integer（或其他數據類型）實例：

instance Proba Integer where 
    proba x y = x `quot` y 

instance Proba Int where 
    proba x y = x `quot` y 

但我不想。 我想爲每個Integral提供一個實例。但是當我嘗試這樣做，我得到一個錯誤：

instance (Integral a) => Proba a where 
    proba x y = x `quot` y 

Illegal instance declaration for `Proba a' 
    (All instance types must be of the form (T a1 ... an) 
    where a1 ... an are *distinct type variables*, 
    and each type variable appears at most once in the instance head. 
    Use FlexibleInstances if you want to disable this.) 
In the instance declaration for `Proba a' 

好吧，它似乎問我要不同類型變量而不是類。但爲什麼？！爲什麼僅僅在這裏有Integral這不夠？由於quot是每Integral申報的，所以這個實例應該對每個Integral都有效，不是嗎？

也許有辦法達到同樣的效果嗎？

Answer 1

由於錯誤信息表明，你可以使用FlexibleInstances（一種相當常見的安全擴展），允許這種行爲，但你還需要UndecidableInstances：

{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE UndecidableInstances #-} 

class Proba a where 
    proba :: a -> a -> a 

instance Integral a => Proba a where 
    proba = quot 

之所以這樣，是不是啓用默認情況下是因爲它特別是GHC擴展，它不是Haskell98規範的一部分。你會發現有很多語言擴展是非常有用和安全的，通常你只希望它們在特定的模塊中啓用。不要問「爲什麼不是這種默認」，還要問「我不希望這是默認的？」。

---

實現這個沒有擴展名的另一種方式是類型類直接編碼爲數據類型：

data Proba a = Proba 
    { proba :: a -> a -> a 
    } 

integralProba :: Integral a => Proba a 
integralProba = Proba quot 

然後，你可以，如果你身邊把它作爲

foldProba :: Proba a -> a -> [a] -> a 
foldProba p = foldr (proba p) 

然後有foldProba integralProba，那麼它會自動將該類型限制爲Integral a => a -> [a] -> a。