本文介绍了可完成的未来是一个单子。但应用性在哪里呢?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
Java的CompletableFuture
是给出其方法thenCompose
和thenApply
的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;的两个期货在不同的线程上并行运行。
这篇关于可完成的未来是一个单子。但应用性在哪里呢?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,
声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。