Haskell自定义数据类型，实例编号和冗余

Question

我正在开发一套Haskell中的一小块举重实用程序作为学习练习。我定义的数据类型Weight使得：

data Weight = Wt Float Unit 
       deriving (Show, Eq) 

data Unit = Lb | Kg 
       deriving (Show, Eq) 

instance Num Weight where 
    Wt x Lb + Wt y Lb = Wt (x + y) Lb 
    Wt x Lb * Wt y Lb = Wt (x * y) Lb 
    negate (Wt x Lb) = Wt (negate x) Lb 
    abs (Wt x Lb) = Wt (abs x) Lb 
    signum (Wt x Lb) = Wt (signum x) Lb 
    fromInteger x  = Wt (fromInteger x) Lb 
    -- Repeat for Kg... 

有没有什么办法可以指定一个泛型类型在民实例定义的Unit？这将是很好的指定类似的东西：

instance Num Weight where 
    Wt x a + Wt y a = Wt (x + y) a 
    -- ... 

而不是重复所有与其他构造函数。

Answer 1

您可以使用警卫。下面的代码是一个错误，因为我相信你已经注意到：

instance Num Weight where 
    Wt x a + Wt y a = Wt (x + y) a 
    -- ... 

但是，这是罚款：

instance Num Weight where 
    Wt x a + Wt y b | a == b = Wt (x + y) a 
    -- ... 

只要记住，如果有人试图公斤添加到磅，你的代码将会出错，除非你也处理这种情况。