Haskell 添加自定义数据类型

Question

这个问题已经有答案了:

Creating an instance of Num class (4 个回答)

已关闭 8 年前。

只需要在这里解释 Haskell 的基本语法，因为我显然遗漏了一些东西，而且我找不到任何解释如何正确执行此操作的内容。

给定:

data Year = Year Integer

如何允许添加，例如 (Year 2000) + 10这将返回 Year 2010

我试过了

instance Num Year where
    (Year a) + (b) = Year (a + b)

但这没有用。尝试了其他一些，但我认为这是最明显的解决方案。

感谢您的帮助。

Answer 1

Num 定义 + 如下:

(+) :: a -> a -> a

所以+的左边和右边必须是相同的类型。您尝试定义一个 Num 实例，但情况并非如此。如果您愿意，您可以使 + 在两个 Year 上工作:

Year a + Year b = Year (a + b)

但是，如果您希望能够添加年份和整数，则需要使用不同的运算符名称，例如:

Year a +++ b = Year (a + b)

(如果您选择了这条路线，您可能需要为这个新运算符定义优先级。)