可完成的未来是一个单子。但应用性在哪里呢？ [英] CompletableFuture is a Monad. But where is the Applicative?

问题描述

Java的CompletableFuture是给出其方法thenCompose和thenApply的Monad，其中 对应于Haskell中的>>=(绑定)和fmap。

<<3-0]>任何单子都能产生一个应用词。现在，CompletableFuture是否有与Haskell中的<*>(Ap)相对应的方法，或者这样的函数可以用现有方法实现吗？

推荐答案

CompletableFuture没有与Haskell中的<*>直接对应的方法。但是，它可以派生为 翻译将Monad转换为应用程序的相应Haskell代码：

(<*>) :: Monad f => f (a -> b) -> f a -> f b
(<*>) f a = f >>= (`fmap`a )

改编Java术语，让我们在Java中调用此函数alsoApply：

static <T, R> CompletableFuture<R> alsoApply(CompletableFuture<T> future, CompletableFuture<Function<T, R>> f) {
    return f.thenCompose(future::thenApply);
}

有了这个，我们现在可以

CompletableFuture<String> future = alsoApply(
    CompletableFuture.supplyAsync(() -> "a"),
    CompletableFuture.supplyAsync(() -> "b")
.thenApply(b -> a -> a + b));

assertEquals("ab", future.get());

，这会导致分别返回&q；a&q；和&q；b&q；的两个期货在不同的线程上并行运行。

这篇关于可完成的未来是一个单子。但应用性在哪里呢？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！