有强类型语言的promise规范吗

Is there a promise spec for strongly typed languages?

本文关键字：promise 范吗 型语言 类型      更新时间：2023-09-26

Promises/A+规范非常适合实现promise，但它大量使用Javascript的弱类型。有没有一个Promises的规范是用强静态类型的语言(如C#(设计的？

许多语言都有promise，它们是并发的有用且基本的构建块。它们中的许多都内置了promise作为基类库的一部分。

  • C#的Task<T>
  • Scala的Future[T]
  • Java 8的CompletableFuture
  • Python的Future。(但不是静态类型的(
  • Haskell的IO a
  • clojure的CCD_ 5
  • Dart的Future<T>
  • C++的CCD_ 7

大多数其他语言在userland中都有占主导地位的实现，例如Swift和Objective-C的Promise with PromiseKit。

我可以一直说下去，但这种模式真的无处不在。大多数语言都在其语言规范中指定了它。JavaScript在中是唯一的，有多少实现用于promise，并且规范告诉它们如何彼此互操作。

它们并不完全等同于承诺，但它们都捕捉到了对未来价值的相同想法。有些是更有限的(没有一元链(，但大多数不是。

相关文章：