本文介紹了可完成的未來是一個單子。但應用性在哪里呢?的處理方法,對大家解決問題具有一定的參考價值,需要的朋友們下面隨著小編來一起學習吧!
問題描述
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;的兩個期貨在不同的線程上并行運行。
這篇關于可完成的未來是一個單子。但應用性在哪里呢?的文章就介紹到這了,希望我們推薦的答案對大家有所幫助,