本文介绍了可完成的未来是一个单子。但应用性在哪里呢?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

Java的CompletableFuture是给出其方法thenComposethenApply的Monad,其中
对应于Haskell中的>>=(绑定)和fmap

<任何单子都能产生一个应用词。现在,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;的两个期货在不同的线程上并行运行。

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

声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。