haskell - 是否可以在 `flip` 中使用一元函数而不是二进制？

Question

Prelude 的类型功能 flip是:

flip :: (a -> b -> c) -> b -> a -> c

即，它需要一个二进制函数和两个参数。
Prelude 的类型功能 id是:

id :: a -> a

但是 flip id 的类型是:

flip id :: a -> (a -> b) -> b

怎么可能申请 flip至 id当 id是一元函数， flip第一个参数需要二进制函数吗？

顺便提一句。 flip id类似于 \ x f -> f x

Answer 1

Haskell 制作 id适合 flip 的第一个参数的类型通过设置 a = b -> c .所以:

flip :: ( a       -> b -> c) -> b ->  a       -> c
flip :: ((b -> c) -> b -> c) -> b -> (b -> c) -> c
flip id ::                      b -> (b -> c) -> c

在哪里 id被认为是类型

id :: (b -> c) ->  b -> c

这相当于

id :: (b -> c) -> (b -> c)

即 id 的特化这只适用于一元函数。

编辑:我想我可以将我的第一行改写为:
Haskell 推断 id适合 flip 的第一个参数的类型如果 a = b -> c .
以防万一更清楚。