Kotlin是否支持有限柯里化？解析lambda后置函数调用语法

1. 括号外的lambda语法：尾随Lambda（Trailing Lambda） #

这是Kotlin为高阶函数设计的语法糖，核心规则是：当函数的最后一个参数是函数类型（可接收lambda）时，调用该函数可以把对应的lambda表达式移到函数调用的括号外面。

你的示例里，calculate函数的第三个参数operation属于最后一个参数，类型是(Int, Int) -> Int，所以calculate(4, 5) { a, b -> a * b }和calculate(4, 5, { a, b -> a * b })完全等价，只是前者更易读——尤其是lambda体较长时，这种写法的可读性优势会更明显。

单独调用calculate(4, 5)报错，是因为原函数要求三个参数必须全部传入，这个语法只是写法简化，并没有改变函数的参数要求，和部分应用/柯里化没有关系。

2. Kotlin对柯里化的支持 #

Kotlin没有语言级的柯里化语法糖，但可以手动实现柯里化，也能通过标准库扩展函数完成转换。

比如把你的calculate改成柯里化版本：

// 手动实现柯里化的函数
fun calculateCurried(x: Int) = fun(y: Int) = fun(operation: (Int, Int) -> Int): Int {
    return operation(x, y)
}

// 调用方式：每次传一个参数，返回下一个函数
val mulResult = calculateCurried(4)(5) { a, b -> a * b }

也可以用标准库的curried()扩展函数（需引入kotlin-stdlib-jdk8或对应依赖）：

// 将原函数转换为柯里化版本
val curriedCalculate = ::calculate.curried()
val mulResult = curriedCalculate(4)(5) { a, b -> a * b }

这种柯里化才是真正的部分应用：调用calculateCurried(4)会返回接收y: Int的函数，再调用(5)会返回接收operation的函数，最后传入lambda就能得到结果。

3. 语言规范参考 #

在Kotlin官方语言规范的**函数调用（Function Calls）**章节中，明确定义了尾随Lambda的规则：

如果函数调用的最后一个实参是lambda表达式，并且该实参没有在圆括号内传递，那么lambda表达式可以放在圆括号之后。

关于柯里化，规范中没有专门的语法定义，但支持通过函数嵌套返回的方式实现，这符合Kotlin的函数式编程特性。

内容的提问来源于stack exchange，提问作者Zhe