Haskell多态变量赋值受限字面量报错问题咨询

1. i :: Num a => a 和 i' :: a 的本质区别 #

• Num a => a 是带约束的多态类型：它表示这个值可以是任意实现了Num类型类的类型（比如Int、Float、Integer等），但必须满足Num约束。1的默认类型就是Num a => a，所以和i的类型完全匹配，编译器可以根据上下文将1实例化为具体的Num类型。
• a 是无约束的多态类型：它要求这个值能适配所有可能的Haskell类型——包括Bool、String、Maybe ()这种完全不具备Num行为的类型。但1是Num类型类的成员，根本无法被当作非Num类型使用，所以编译器报错「No instance for (Num a)」，本质是它找不到一个能让1适配任意类型a的Num实例（因为很多类型根本不是Num的实例）。

2. id 1 可行但 id i' 不可行的原因 #

• id 的类型是forall a. a -> a，它接受任意类型的值并返回相同的值。当调用id 1时，编译器会根据上下文（如果没有明确指定，就用默认的Integer）将1实例化为一个具体的Num类型，此时id的类型被特化为Integer -> Integer，完全匹配，所以能正常运行。
• 而i' :: a的定义本身就不合法——编译器在检查i' = 1时就已经发现问题了，因为1无法满足“适配所有类型”的要求。就算你强行写了这个定义，调用id i'时，编译器需要i'能适配id的任意类型参数a，但i'的底层是1，做不到这一点，所以报错是必然的。

3. 为什么不能把“更具体”的值赋给“更泛化”的多态变量？ #

Haskell的参数化多态要求无约束的多态值必须对所有类型都有效，这是一种“最泛化”的要求，而带约束的多态值只是对某一类类型有效（比如所有Num实例）。你可以把更泛化的值转换成更具体的（比如把Num a => a转换成Int），但反过来不行——因为具体的值无法覆盖所有可能的类型场景。

举个直观的例子：

• 无约束的a就像一个能给任何设备充电的通用充电器。
• Num a => a就像一个只能给支持USB-C的设备充电的充电器。
  你不能把USB-C充电器当成通用充电器用，因为它没法给老款Micro-USB设备充电——对应到Haskell里，就是1没法被当成Bool类型使用。

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