对“a - ＆gt;类型的限制b`功能

Question

让我们说我有一部分功能的签名：

f :: (a -> b) -> ...

对kinds和a的类型是否有任何限制（例如b）？

a无法成为一个函数，即(c -> d)，可以吗？

Answer 1

a和b必须有类*，即它们不能是需要参数的类型构造函数。因此，它们可以是Integer，(c -> d)或Maybe String，但不能是(->)，(a ->)或Maybe。

  

a无法成为一个函数，即(c -> d)，可以吗？

是的，它可以。它可以是任何可能的类型*。