强类型语言是否有承诺规范?

Max*_*kov 5 javascript specifications strong-typing promise

承诺/ A +规格为优秀落实承诺,但它使用JavaScript的弱类型很多.Promise的规范是否设计了具有强大静态类型的语言,例如C#?

Ben*_*aum 6

许多语言都有承诺,它们是并发的有用和基本构建块.他们中的很多人都将承诺作为基类库的一部分.

大多数其他语言在userland中具有主导实现,例如Swift和Objective-C的Promise与PromiseKit.

我可以继续下去,但模式到处都是.大多数语言都在其语言规范中指定.JavaScript是在独特的多少实现有针对的承诺和事实的规范告诉他们如何彼此互操作.

它们并不完全符合承诺,但它们都捕捉到了未来价值的相同想法.有些更受限制(没有monadic链接)但大多数不是.