haskell - “+”不是类的可见方法

Question

我正在尝试在 Haskell 中创建自定义结构，如下所示:

data Interval = Interval Float Float 
instance Interval Float Float where
(Interval a b) + (Interval c d) = Interval (a + c) (b + d)
(Interval a b) - (Interval c d) = Interval (a - c) (b - d)

但是每次都会出现错误，例如:

'+' is not a visible method of class 'Interval'

那么我该如何正确制作呢？

Answer 1

您混淆了数据类型定义和类型类。

data Interval = Interval Float Float

定义了一个新的数据类型Interval，但是

instance Interval Float Float where

将尝试创建类型类Interval的实例。

我不确定你的意图是什么，但如果你想让你的类型 Interval 符合 Num 类型类，它提供像 (+ ) 等等，然后你会写:

data Interval = Interval Float Float 

instance Num Interval where
  (+) (Interval a b) (Interval c d) = Interval (a + c) (b + d)
  (-) (Interval a b) (Interval c d) = Interval (a - d) (b - c)

请注意，您需要为 Num 的完整实例实现更多函数。