高阶函数类似于Haskell的翻转但未卷曲[关闭]的函数式编程语言

在 "Homotopy Type Theory" 在第26页的1.4中,当前版本的函数被调用 “交换” :

swap: Π(A:U)Π(B:U)Π(C:U) (A -> B -> C) -> (B -> A -> C)

swap(A, B, C, g)(b, a) := λb.λa.g(a)(b)

我不知道为什么你会想有一个单独的名字为未结婚的版本,反正有什么区别…

你不需要讨好就可以实现 flip 是的。下面是斯卡拉的一个实现:

def flip[A,B,C](f: (A, B) => C): (B, A) => C = (b: B, a: A) => f(a, b)

它是否“内置”是另一个问题。在功能性编程中并不重要。不用咖喱也没有你通常想用的那么有用 轻弹 为了让作文发挥作用。