Java8中的Stream和Optional给我们带来了函数式编程的兴趣，但Java仍然缺少许多函数编程的要害特性。Lambda表达式、Optional和Stream只是函数式编程的冰山一角。这也导致了varvr和functionlajava这些类库的呈现，他们都源于Haskell这个纯函数式编程语言。

假如想要越发地“函数式”编程，那么首先要留意的是不要过早的间断monad(一种设计模式，软件开发，软件开发，暗示将一个运算进程通过函数拆解成相互毗连的多个步调。只要提供下一步运算所需的函数，整个运算就会自动举办下去, Optional、Stream都是monad)，好比，许多人常常会在还不需要的时候就挪用了Optional.get()和Stream.collect()提前终止monad。本文主要报告如何通过晋升要领来使得代码更”函数式”。

假设有一个接口可以对数字举办计较。

public interface Math {
    int multiply(int a, int b);
    double divide(int a, int b);
    ..
}

我们要利用这个接口来对利用Optional做包装的数字做计较。

public interface NumberProvider {
    Optional<Integer> getNumber();
}

接着我们来实现一个要领可以或许返回两个数字相除的功效，功效用Optional包装。假如这两个数字有一个为空则返回空Optional。如下：

public Optional<Double> divideFirstTwo(NumberProvider numberProvider, Math math) {
    Optional<Integer> first = numberProvider.getNumber();
    Optional<Integer> second = numberProvider.getNumber();
    if(first.isPresent() && second.isPresent()) {
        double result = math.divide(first.get(), second.get());
        return Optional.of(result);
    } else {
        return Optional.empty();
    }
}

上面的代码很是不优雅，有大量的代码都是在做Optional的包装息争包装。可以让上面的代码变得越发“函数式”，如下：

public Optional<Double> divideFirstTwo(NumberProvider numberProvider, Math math) {
    return numberProvider.getNumber()
           .flatMap(first -> numberProvider.getNumber()
                                     .map(second -> math.divide(first, second)));
}

这样代码少了许多，也优雅了许多。先挪用第一个Optional的flatMap，再在lambda中挪用第二个Optional的map，进一步可以抽取出一个晋升要领：

public interface Optionals {
    static <R, T, Z> BiFunction<Optional<T>, Optional<R>, Optional<Z>> lift(BiFunction<? super T, ? super R, ? extends Z> function) {
        return (left, right) -> left.flatMap(leftVal -> right.map(rightVal -> function.apply(leftVal, rightVal)));
    }
}

如上，可知这个要领晋升可以或许晋升任何具有两个Optional参数、一个Optional功效的函数，使得被晋升的函数具有Optional的一个特性：假如一个参数是空的，劳务派遣管理系统，那么功效就是空的。假如JDK抽取flatMap和map到一个民众接口，如Monad，那么我们可觉得Java Monad的每一个实例(Stream、Optional、本身的实现类)实现一个民众的晋升函数。但现实是我们不得不为每一个实例都复制粘贴上面的代码。最终的divideFirstTwo代码如下：

import static com.ps.functional.monad.optional.Optionals.lift;
...
public Optional<Double> divideFirstTwo(NumberProvider numberProvider, Math math) {
    return lift(math::divide).apply(numberProvider.getNumber(), numberProvider.getNumber());
}