我正在努力学习和理解 Haskell 的设计。我目前正在使用 Lambda / 匿名函数,我想知道。
为什么不是 Eq 类的函数类型实例?
Prelude> (\z -> z + 5) == (+5)
在这个问题上,我想知道是不是因为 z 可以是任何东西,甚至可能是所有 lambda 函数中的自由变量,所以制作 Eq 类型的 lambda 函数将是一个设计缺陷。
为什么不是类型类 Show 的函数类型实例?
Prelude> (\q -> q - 2)
我感谢任何澄清。
提前谢谢了!