Java 8 部分函数应用程序/currying答案

【问题标题】：Java 8 partial function application /curryingJava 8 部分函数应用程序/currying
【发布时间】：2016-04-11 09:58:17
【问题描述】：

 public static <T, U, R> Function<U, R> partial(BiFunction<T, U, R> f, T x) {
        return (y) -> f.apply(x, y);
    }

在上面的表达式中，我可以理解函数partial返回另一个函数Function<U, R>。 Function<U, R> 本身返回值 R。其余的 static <T, U, R> 代表什么？我的意思是，如果Function<U, R> 返回一个 R，那么 <T, U, R> 是怎么回事？

【问题讨论】：

类型参数。阅读 Java 中的泛型。
那些<T, U, R> 告诉Java T、U 和R 不应该是实际的类，而是泛型类的占位符。
任何将泛型类型参数添加到它们所在类之外的方法都必须在返回类型之前声明它们。静态方法不会从它们所在的类继承任何泛型类型参数，因此它们的所有类型参数都必须在返回类型之前声明。当您看到类型参数与父类相同的静态方法时，它们的名称相同只是巧合。因此，T、U 和 R 只是方法参数和返回类型中使用的所有泛型类型的集合。
@mirowth，如果你有一个类 MyClass 和一个使用 A、B 和另一个类型参数 C 的成员函数，则可以将成员函数声明为“public 返回类型..."。它只需要声明额外的类型参数 C，因为 A 和 B 已经定义为类类型参数。静态函数不能从类继承 A 和 B，所以它必须在返回类型之前列出所有它们，即“public static returnType...”
顺便说一句，api中的类型参数有一个命名约定。通常，但并非总是如此，R 是返回值的类型，而 T 和如果需要的话，U 是参数类型。当返回类型与param类型相同时，比如UnaryOperator和BinaryOperator，就是T

标签： java lambda currying partial-application

【解决方案1】：

（我知道它在 Java 术语中在技术上是不正确的，但我将在下面说“参数”，我的意思是“形式参数”，因为到处混合“形式参数”和“类型参数”会让人感到困惑。 )

T 是 x 参数的类型参数。

partial 接受两个参数：

f，一个接受T和U并返回R的函数：
BiFunction<T, U, R> f
x，其类型为T：
T x

partial 返回一个只接受U（不是T 和U）并返回R 的新函数。在调用f 时，新函数使用partial 提供的x，而不是期待T 参数。

简而言之：它返回一个新函数，其中第一个参数（T 类型）已通过partial 的x 参数部分应用（咖喱）。

我们在声明开头附近有<T, U, R> 的原因是Java 语法允许我们指定partial 是一个泛型方法，使用类型参数T、U 和R（否则，它们看起来像类型 names，而不是类型 parameters）。

【讨论】：

所以在 "static " 中的 T 被 "BiFunction f" 和 U="T x" 代替？
@microwth: 不，T、U 和R 都是在调用方法时指定的，以便为这些类型参数提供具体类型。 partial 所做的是返回一个接受U 并返回R 的函数，该函数调用接受T 和U 并返回R 指定值x 的原始函数。例如，如果我有一个方法 Widget foo(String, List)，我可以使用 partial 来获取一个 ``Widget partialFoo(List)`，它将以 x 作为字符串调用 foo。更多泛型教程：docs.oracle.com/javase/tutorial/extra/generics/methods.html
@t-j-crowder “调用原始函数”的意思是函数“f”？所以它就像“return (y) -> f.apply(x, y);”是"Function" 然后，当f.apply(x, y)运行时返回一个值，所以变成return(y)->value，这是一个满足静态。对吗？
@microwth: (y) -> f.apply(x, y) 创建一个函数，这是 partial 返回的。该函数接受y。函数体实际上是return f.apply(x, y);，所以当你调用函数partial返回时，它调用f，传入x（你给partial的那个）作为第一个参数和y（你在调用函数 partial 返回时给出的那个）作为第二个参数，然后它返回 f 返回的任何值。