可完成的未来是一个单子。但应用性在哪里呢?

原学程将引见可完成的将来是1个票据。但是运用性在那边呢?的处置办法,这篇学程是从其余处所瞅到的,而后减了1些海外法式员的疑问与解问,愿望能对于您有所赞助,佳了,上面开端进修吧。

成绩描写

Java的CompletableFuture是给出其办法thenCompose以及thenApply的Monad,个中
对于应于Haskell中的>>=(绑定)以及fmap

<所有票据皆能发生1个运用词汇。如今,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;的二个期货在分歧的线程上并交运言。

佳了闭于可完成的将来是1个票据。但是运用性在那边呢?的学程便到这里便停止了,愿望趣模板源码网找到的这篇技巧文章能赞助到年夜野,更多技巧学程不妨在站内搜刮。

0
没有账号?注册  忘记密码?