相关疑难解决方法(0)

考虑

(a->a) -> [a] -> Bool

这个签名有没有有意义的定义？也就是说,一个不仅仅忽略了这个论点的定义？

x -> [a] -> Bool

似乎有很多这样的签名可以立即排除.

我正在学习Haskell,在互联网上我找到了来自Philip Wadler的论文.
我读它并且根本不理解,但它以某种方式连接到多态函数.

例如:

polyfunc :: a -> a -> a

它是任何类型的多态函数.

这个例子的自由定理是什么polyfunc？