借助Java 8实现柯里化

作者: fengzhizi715 | 来源:发表于2017-01-22 12:07 被阅读1234次

在计算机科学中,柯里化(英语:Currying),又译为卡瑞化加里化,是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由克里斯托弗·斯特雷奇以逻辑学家哈斯凯尔·加里命名的,尽管它是Moses Schönfinkel和戈特洛布·弗雷格发明的。

在函数式编程中,函数的概念跟数学中函数的概念是一样的,类似于“映射”。高阶函数和柯里化是函数式编程的特性。

对于柯里化而言,首先我们来举个栗子,先定义这样一个函数

f(x,y,z) = (x+y)*z

当x是一个常量时,比如x=4,可以用一个新的函数来代替

f(4,y,z)=g(y,z)=(4+y)*z

新的函数g(y,z)是由f(x,y,z)转换而来的,它的参数是y、z是原先函数的后两个参数。

我们再一次对y赋值,比如y=5,函数再次变成

f(4,5,z)=g(4,5)=(4+5)*z

我们可以理解为将原来的函数变量拆分开来调用:

f(x,y,z) -> f(x)(y)(z)

借助Java 8实现柯里化

孔乙己中茴香豆的“茴”字有四种写法,我也给出多种方式来实现柯里化

  • 第一种方式,嵌套多层Function
Function<Integer, Function<Integer, Function<Integer, Integer>>> currying =  x -> y -> z -> (x+y)*z;

System.out.println(currying.apply(4).apply(5).apply(6)); //54
  • 第二种方式
IntFunction<IntFunction<IntUnaryOperator>> f = x -> y -> z -> (x + y) * z;
        
System.out.println(f.apply(4).apply(5).applyAsInt(6)); //54
  • 第三种方式,需要先定义一个TriFunction函数接口:
@FunctionalInterface
public interface TriFunction<U, T, S, R> {

    /**
     * Applies this function to the given arguments.
     * @param <U>
     * @param <T>
     * @param <S>
     * @return the function result
     */
     R apply(T t, U u, S s);
}

然后借助TriFunction来实现柯里化

TriFunction<Integer,Integer,Integer, Integer> triFunction = (x,y,z) -> (x+y)*z;

System.out.println(triFunction.apply(4,5,6)); //54

为啥要定义一个TriFunction呢?其实Java 8的function库中包含了BiFunction的函数接口,但它只能传两个参数。然后Java的设计者们打住了,不再定义三个及以上参数的函数接口。我们可以想象要是真的定义n(n>=3)个参数的函数接口,那么这个函数需要传递n+1个参数,其中包含一个返回的参数类型。在Rxjava1中确实存在可以定义到9个参数的Func9,真要这样写起代码来还是很痛苦的,得好好思考一下是不是设计的问题了。

  • 第四种方式,借助匿名内部类,每次调用都返回一个新的函数
        Function<Integer, Function<Integer, Function<Integer, Integer>>> currying = new Function<Integer, Function<Integer, Function<Integer, Integer>>>() {
            @Override
            public Function<Integer, Function<Integer, Integer>> apply(Integer x) {
                return new Function<Integer, Function<Integer, Integer>>() {
                    @Override
                    public Function<Integer, Integer> apply(Integer y) {
                        return new Function<Integer, Integer>() {
                            @Override
                            public Integer apply(Integer z) {
                                return (x + y) * z;
                            }
                        };
                    }
                };
            }
        };
        
        System.out.println(currying.apply(4).apply(5).apply(6));//54

柯里化的好处

随着函数在Java 8中变成一等公民,自然而然会产生柯里化。柯里化的链式调用的确用起来很爽。柯里化也可以延迟加载一个函数。

除此以外,柯里化在很多时候简化了函数式编程的复杂性,使编程更加优雅。当然,在团队中使用的话,也需要充分考虑到团队中其他成员是否接受。

总结

Java 8虽然是OO+FP的结合,能够支持lambda表达式、高阶函数、闭包等,但是并没有提供函数柯里化与偏函数(函数部分调用)的语法糖,当然想要使用的话肯定是可以模拟出来。想要尝试更好的FP可以玩玩Scala,Scala在这些方面确实比Java更好。

相关文章

  • 借助Java 8实现柯里化

    在计算机科学中,柯里化(英语:Currying),又译为卡瑞化或加里化,是把接受多个参数的函数变换成接受一个单一参...

  • Java 尾递归

    知识点 尾递归 惰性求值 java8 : lambda Stream 柯里化

  • 手写简单.bind()实现

    手写一个实现柯里化的.bind() 柯里化:《函数柯里化小结》柯里化:前端开发者进阶之函数柯里化Currying ...

  • 函数柯里化

    函数柯里化,实现累加。

  • js柯里化

    柯里化函数的实现hyCurrying

  • 柯里化函数实现

    柯里化函数实现 柯里化函数的实现实质上是一个收集参数的过程, 也许柯里化的内涵及应用场景理解起来比较困难, 但是实...

  • 函数-柯里化

    面试题-- 函数柯里化怎么实现

  • 柯里化和自动柯里化函数实现

    柯里化定义 维基百科定义 是把接收多个参数的函数,变成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受...

  • 柯里化的实现

    通用版 function curry(fn) { var args = Array.prototype.sli...

  • JavaScript 柯里化

    简介 柯里化从何而来 柯里化, 即 Currying 的音译。 Currying 是编译原理层面实现多参函数的一个...

网友评论

  • 子寤:感觉TriFunction并没有实现柯里化,不是单一的参数也没有返回函数。。
    00549878ae2a:对于函数式编程使用柯里化,其实主要是为了防止太多的外部变量导致程序导致每次返回值不同,使函数处于一种“不纯”的状态。如果使用柯里化,使函数每次仅仅通过形参进行操作,使得函数对于相同形参返回值相同。TriFunction实现了柯里化,但是不够优雅。如果是我,我会再写一个类似于合并函数一样的东西,使得语法更加简化优雅

本文标题:借助Java 8实现柯里化

本文链接:https://www.haomeiwen.com/subject/rwnibttx.html