Haskell中类型定义合法性及Type与Class的区别咨询

问题1：为何类型定义Int -> Int与Int x => x -> x不等价？后者是否为无效定义？ #

Int -> Int是明确的单态函数类型：接受一个Int类型的参数，返回一个Int类型的值。而Int x => x -> x是无效定义——因为Int是具体类型，不是类型类，不能放在类型约束的位置（=>左边必须是类型类）。Haskell的类型约束语法要求左边是类型类（比如Num），右边是类型变量（比如a），这个写法完全不符合语法规则。

问题2：为何Num a => a -> a与Num -> Num不等价？后者是否为无效定义？ #

Num a => a -> a是多态函数类型：表示“对所有属于Num类型类的类型a，这是一个从a到a的函数”，比如(+1)就属于这个类型，它可以接受Int、Float等任何Num实例类型的参数。

而Num -> Num是无效定义——Num是类型类，不是具体类型，不能直接作为函数的参数或返回值类型。Haskell函数类型的两端必须是具体类型或带约束的类型变量，类型类本身不能作为“值的类型”来使用。

问题3：Type与Class的区别，以及对类型定义合法性的影响 #

核心区别 #

• 类型（Type）：是具体的数据类型，对应一组实际存在的值。比如Int代表整数集合，Bool代表True和False，你可以直接创建这些类型的实例（如42 :: Int）。类型是用来描述值的具体形态的“实体”。
• 类型类（Class）：是对类型的抽象约束，定义了一组类型必须实现的接口（方法或操作）。比如Num类定义了(+)、(*)等算术操作，所有属于Num的类型（Int、Integer、Double等）都必须实现这些操作。类型类是对类型的分类标准，不是具体的“值的集合”。

对类型定义合法性的影响 #

1. 类型约束（=>左边）只能使用类型类，不能用具体类型——比如Int x => ...是非法的，而Num a => ...是合法的；
2. 函数类型的参数/返回值必须是具体类型或带约束的类型变量，不能直接用类型类——比如Num -> Num非法，而Num a => a -> a合法；
3. 单态类型（如Int -> Int）对应只能处理单一具体类型的函数，多态类型（如Num a => a -> a）通过类型类约束实现对多个符合条件类型的适配。

问题4：哪里可以找到Haskell的Class与Type列表？ #

• 官方标准库文档中，Prelude模块包含了所有基础类型（如Int、Bool）和类型类（如Num、Eq）的定义，可查看对应模块文档获取完整列表；
• 本地通过GHCi的:info命令可以查询单个类型或类型类的详细信息，比如输入:info Num会显示该类型类的定义、方法以及所有实现它的类型；输入:info Int会显示该类型的定义、所属的类型类等信息。

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