Haskell自定义Number类型后出现字面量实例错误的原因咨询

核心问题：混淆了data和type的作用 #

你写的data Number = Int不是定义类型别名，而是创建了一个全新的代数数据类型Number——它只有一个名为Int的构造器，这个构造器和Haskell内置的Int类型完全无关，而且不带任何参数。这意味着Number类型的值只能是Int（构造器本身），根本不是你想要的整数类型。

而你熟悉的TypeScript/Rust里的type关键字是定义类型别名，只是给现有类型起个新名字，本质上还是同一个类型，所以可以直接赋值字面量。

错误原因详解 #

当你写num = 1时，Haskell的整数字面量1是多态的，属于Num类型类的实例。编译器需要把它转换成Number类型，但你定义的Number类型没有实现Num类型类，因此报错提示“没有Num Number实例”。

哪怕你想用构造器创建Number值，也得写num = Int（因为Int是Number的构造器），但这显然不是你想要的整数效果。

修复方案 #

方案1：定义类型别名（和TS/Rust的type逻辑一致）

如果你只是想给Int起个新名字，用type关键字代替data：

type Number = Int
num :: Number
num = 1

这样Number就是Int的别名，两者完全等价，1可以直接赋值给num。

方案2：定义带包装的代数数据类型（适合未来扩展）

如果你需要定义全新的类型（比如以后要加FloatNum等分支），可以给构造器加参数包装整数，并派生Num实例：

data Number = IntNum Int deriving (Num)
num :: Number
num = IntNum 1  -- 直接用构造器包装

派生Num后，也可以直接用字面量：

num :: Number
num = 1  -- 现在能正常工作，因为Number实现了Num类型类

内容的提问来源于stack exchange，提问作者Nick