haskell - Haskell 中以下函数最通用的类​​型

Question

有g = (.not)。

函数g最通用的类​​型是

g :: (Bool -> a) -> Bool -> a

但我不知道如何思考组合 (.) 函数。

为什么不是h::(a -> Bool) -> a -> Bool？

Answer 1

g = (. not)

根据该部分的定义，相当于

g = \f -> f . not

或到

g f = f . not

由于 f 将 not 的输出作为输入，因此它必须接受 bool 值作为输入，因此它的类型必须为 Bool -> Something.

由此，我想你可以弄清楚剩下的事情了。

请注意，(. not) 与 (.) not 非常不同，(.) not 可以写为 (not .) 的一部分。 (或者，作为 lambda，作为 \f -> 而不是 .f)。我想你的困惑就是源于此。