是否可以在“flip”中使用一元函数而不是二进制函数？

Question

Prelude 函数flip 的类型是：

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

即，它需要一个二元函数和两个参数。

Prelude函数id的类型是：

id :: a -> a

但是flip id的类型是：

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

如何应用flipid 是一元函数并且 flip 需要第一个参数的二进制函数时，code> 到 id ？

顺便提一句。 flip id 类似于\ xf -> fx

Answer 1

Haskell 通过设置 a = b ->; 使 id 适合 flip 第一个参数的类型。 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 if a = b -> 第一个参数的类型; c。
万一更清楚了。

Answer 2

Nefrubyr 解释得很好。
另一种（希望）使其更加直观的方法是考虑函数应用运算符 ($)。

($) 是 id 的一种特殊形式：

($) :: (a -> b) -> (a -> b)
($) = id

我已经看到了定义 (#) = Flip ($)，这样你就可以将参数写在应用于的函数之前：obj # show。

显然，由于 ($) 只是 id 的一种特殊形式，因此您也可以编写：(#) = Flip id