Нулевая цепочка методов с необязательным

Вы ищете какую-то монаду, но необязательный элемент Guava (в отличие, например, от варианта Scala) — это просто функтор.

Что, черт возьми, за Functor?!

Функтор и монада — это своего рода коробка, контекст, который оборачивает какое-то значение. Функтор, содержащий какое-то значение типа А, знает, как применить функцию А => В и поместить результат обратно в Функтор. Например: получить что-то из необязательного, преобразовать и завернуть обратно в необязательное. В функциональных языках программирования такой метод часто называют map.

Мона... что?

Монада — это почти то же самое, что и Functor, за исключением того, что она использует функцию, возвращающую значение, обернутое в монаду (A => Monad, например, Int => Optional). Этот волшебный метод Монады часто называют «flatMap».

Здесь вы можете найти действительно потрясающие объяснения основных терминов FP: http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html

Функторы и монады скоро появятся!

Необязательный из Java 8 может быть классифицирован как Functor (http://docs.oracle.com/javase/8/docs/api/java/util/Optional.html#map-java.util.function.Функция-) и Монада (http://docs.oracle.com/javase/8/docs/api/java/util/Optional.html#flatMap-java.util.function.Function-).

Хороший мон(ад)олог, Марчин, но как я могу решить мою конкретную проблему?

В настоящее время я работаю над проектом, использующим Java 6, и вчера я написал вспомогательный класс под названием «Дополнительно», что сэкономило мне много времени.

Он предоставляет вспомогательный метод, который позволяет мне превратить необязательный объект в монады (flatMap).

Вот код: https://gist.github.com/mkubala/046ae20946411f80ac52

Поскольку кодовая база моего проекта по-прежнему использует нули в качестве возвращаемого значения, я ввел Optionals.lift(Function), который можно использовать для переноса результатов в необязательный.

Зачем поднимать результат в необязательный? Чтобы избежать ситуации, когда функция, переданная в преобразование, может вернуть значение null, а все выражение вернет «присутствие нуля» (что, кстати, невозможно с опцией Guava из-за этого постусловия -> см. строку № 71 в https).://code.google.com/p/guava-libraries/source/browse/guava/src/com/google/common/base/Present.java?r=0823847e96b1d082e94f06327cf218e418fe2228#71).

Несколько примеров

Предположим, что findEntity() возвращает Optional, а Entity.getDecimalField(..) может возвращать BigDecimal или null:

Optional<BigDecimal> maybeDecimalValue = Optionals.flatMap(
    findEntity(),
    new Function<Entity, Optional<BigDecimal>> () {
        @Override 
        public Optional<BigDecimal> apply(Entity input) {
            return Optional.fromNullable(input.getDecimalField(..));
        }
    }
);

Еще один пример, предполагающий, что у меня уже есть функция, которая извлекает десятичные значения из сущностей и может возвращать нули:

Function<Entity, Decimal> extractDecimal = .. // extracts decimal value or null
Optional<BigDecimal> maybeDecimalValue = Optionals.flatMap(
    findEntity(),
    Optionals.lift(extractDecimal)
);

И последнее, но не менее важное - ваш вариант использования в качестве примера:

Optional<Publisher> maybePublisher = Optionals.flatMap(findBook(id), Optionals.lift(Book.getPublisher));

// Assuming that getPublishedBooks may return null..
Optional<List<Book>> maybePublishedBooks = Optionals.flatMap(maybePublisher, Optionals.lift(Publisher.getPublishedBooks));

// ..or simpler, in case when getPublishedBooks never returns null
Optional<List<Book>> maybePublishedBooks2 = maybePublisher.transform(Publisher.getPublishedBooks);

// as a one-liner:
Optionals.flatMap(maybePublisher, Optionals.lift(Publisher.getPublishedBooks)).transform(Publisher.getPublishedBooks);

Вы, вероятно, поняли это, но вы могли бы добавить .or(Optional.absent) после каждого преобразования, которое возвращает Optional (в вашем случае после .transform(Book.getPublisher), уменьшая Optional<Optional<T>> до Optional<T>:

Optional<List<Book>> publishedBooks = findBook(id).transform(Book.getPublisher).
        or(Optional.absent()).transform(Publisher.getPublishedBooks);

К сожалению, здесь нельзя вывести тип Optional.absent, поэтому фактически код выглядит так:

Optional<List<Book>> publishedBooks = book.transform(Book.getPublisher).
        or(Optional.<Publisher> absent()).transform(Publisher.getPublishedBoooks);

Не слишком удобно, но другого выхода, похоже, нет.