在像Haskell这样的纯函数式语言中,是否存在一个算法来获取函数的逆,当它是双射的时(编辑)？是否有一种特定的方式来编程你的功能呢？
我正在努力学习和理解Haskell的设计.我目前正在使用Lambda/Anonymous函数,我很想知道.
为什么不是Eq类的函数类型实例？
Prelude> (\z -> z + 5) == (+5)
在这个问题上,我想知道是否因为z可以是任何东西,甚至可能是一个自由变量,在所有lambda函数中,所以制作类型为Eq的lambda函数将是一个设计缺陷.
为什么不是类型类Show的函数类型实例？
Prelude> (\q -> q - 2)
我感谢任何澄清.
提前谢谢了!