強類型語言是否有承諾規范？

Question

Promises / A +規范很好地實現了promises，但它使用了Javascript的弱類型。 Promise的規范是否設計了具有強大靜態類型的語言，例如C＃？

Answer 1

許多語言都有承諾，它們是並發的有用和基本構建塊。 他們中的很多人都將承諾作為基類庫的一部分。

• C＃的Task<T>
• 斯卡拉的Future[T]
• Java 8的CompletableFuture 。
• Python的Future 。 （雖然不是靜態輸入）。
• Haskell的IO a 。
• clojure的promise 。
• Dart的Future<T> 。
• C ++的std::future<T> 。

大多數其他語言在userland中具有主導實現，例如Swift和Objective-C的Promise與PromiseKit。

我可以繼續下去，但模式到處都是。 大多數語言都在其語言規范中指定。 JavaScript是在多少的實現有針對的承諾和事實的規范告訴他們如何彼此互操作是唯一的。

它們並不完全符合承諾，但它們都捕捉到了未來價值的相同想法。 有些更受限制（沒有monadic鏈接）但大多數不是。