Is there a promise specification for strongly typed languages?

Question

The Promises / A + specification is excellent for implementing promises, but uses Javascript for weak typing. Is there a spec for Promises that is designed with strong static typing languages ​​like C #?

Answer 1

Many languages ​​have promises, they are a useful and fundamental building block for concurrency. Many of them have promises embedded as part of their base class library.

• C # Task<T>
• Scala Future[T]
• Java 8 CompletableFuture .
• Python Future . (Not statically typed).
• Haskell IO a .
• clojure promise .
• Dart Future<T> .
• C ++ std::future<T> .

Most other languages ​​have dominant implementations in userland, such as Swift and Objective-C Promise with PromiseKit.

I can go on and on, but the pattern is really everywhere. Most languages ​​are indicated in their language specification. JavaScript is unique in how many implementations exist for promises, and the fact that the specification tells them how to interact with each other.

They are not all identical promises, but they all capture the same idea of ​​future meaning. Some of them are much more limited (there is no monadic chain), but most of them are not.