java - 函数式编程初学者 : Currying in Java

Question

我在阅读有关函数式编程中的柯里化(Currying)的文章，我有一个非常基本的问题:

如果我在 Java 中有两个函数

 int add(int x, int y){
     return x+y;
}

然后我创建了另一种方法

  int increment(int y){
       return add(1, y);
   }

在上面的代码中，当我编写increment 函数时，我实际上是在柯里化(Currying)add 吗？

Answer 1

您已部分应用add。这与柯里化(Currying)有关。

在一些支持部分应用的语言中，函数默认是柯里化(Currying)的。您可能可以编写如下代码:

increment = add(1)
println(increment(2))
# => 3

柯里化(Currying)函数允许您直接部分应用该函数。如果没有额外的机制，Java 不支持这种事情。

编辑:

在 Java 8 中，使用 lambda 和 java.util.function，您可以定义一个 curry 函数。

import java.util.function.Function;

public class Example {
    public static <T, U, R> Function<T, Function<U, R>> curry(BiFunction<T, U, R> f) {
        return t -> u -> f.apply(t, u);
    }

    public static int add(int x, int y) {
        return x + y;
    }

    public static void main(String[] args) {
        Function<Integer, Function<Integer, Integer>> curriedAdd = curry(Example::add);
        // or
        // BiFunction<Integer, Integer, Integer> add = (x, y) -> x + y;
        // curriedAdd = curry(add);

        Function<Integer, Integer> increment = curriedAdd.apply(1);
        System.out.println(increment.apply(4));
    }
}

编辑#2: 我错了!我已经更正/修改了我的答案。正如 sepp2k 所指出的，这只是部分功能应用程序。这两个概念是相关的，而且经常混淆。在我的辩护中，currying Wikipedia 页面上有一个关于混淆的部分。