承诺的反义词是什么？

Question

promise 表示将来可能可用（或不可用）的值。

我正在寻找的是一种数据类型，它表示将来可能变得不可用（可能由于错误）的可用值：

Promise a b = TransitionFromTo<PENDING, Either<value a, error b>>
??? a       = TransitionFromTo<value a, Either<ENDED, FAILED>> or
??? a b     = TransitionFromTo<value a, Either<ENDED, error b>>

是否已经探索过这样的概念（或类似概念）？有没有现成的语义或常用习语？

例如，它可能表示将关闭的打开的数据库连接。我的特定用例将表示一个“可变”，即 FRP 中的可变大小、类似集合的集合作为此类“结束值”的流——当事件发生时，值被添加到集合中，当值“结束”时" 它被删除了。

我觉得将其表示为 Signal<Option<value>> 或 {data = value, ended = Promise<null>} 并不完全匹配 - 第一种情况不包括保证值最终稳定为 Nothing 而第二种情况有 data字段结束后仍可访问。

Answer 1

简而言之 - 可以使用异步生成器进行建模。

在数据库连接示例中，从概念上讲，您有一个数据库连接序列，每次访问值时，您都会从序列（连接）中产生（可能异步）一个值。产生可以是异步的，值本身也可能是异步的。该序列可能会结束（使其不再可用）或者它可能总是产生结果 - 它可能保持未决状态并且不再产生另一个连接。

值得一提的是，异步生成器是您所追求的类型的巨大超集 - 它更具表现力，而不是直接的逆。

在长 - 逆如何？

你可以用几种不同的方式来反转一个承诺。

promise 是一个 singular temporal getter。那就是它拥有以下内容：

• 它代表一个单个值。
• 它的值是temporal（即取决于时间）。
• 这是一个吸气剂。

引用 Kris 关于承诺的时间性的工作：

观察者可以订阅最终看到一个承诺的价值。他们可以在承诺具有价值之前或之后执行此操作。任意数量的观察者都可以订阅多次，任何一个观察者可以多次订阅同一个 Promise.... Promise 是广播。任何消费者都不能干涉另一个消费者的法律使得承诺不可能中止正在进行的工作。承诺代表一个结果，而不是导致该结果的工作。

promise 在这些方面的反面是不同的。

• Deferred 是一个奇异的时间设置器。它是 Promise 的对偶，它允许设置一个值，类似于 Promise 允许获取它的方式。

• Reader（通常称为 observable）是 promise 的多个版本，以及 iterable 的临时版本。它代表了暂时到来的多个值。这就像一个可以改变其价值的承诺。

• Value，最常用和最原始的东西之一是 Promise 的同步版本。

如果您想要的东西与所有三个承诺都不同 - 您需要更高级的东西。 Generator 在这方面是 promise 的反面，它是一个空间的、多值的 setter。在所有这些方面，它都与承诺背道而驰。

但是，您所说的是在这两个方面都是异步的，您想要的是可用/不可用且改变价值的东西。这是一个异步生成器，这里使用的更复杂的类型之一。

您的类型需要类似于两次异步的生成器，一次是获取下一个值，一次是获取值本身，我问过a similar C# question here。这里是an interesting talk and lecture about it。

基本上，您需要一个其值 和 next() 是异步的生成器。它相当复杂，而且很少能正确建模（例如 - 无限滚动，其中滚动和内容都是异步的）。

从某种意义上说，序列结束表示您的值“不再可用”，而生成下一个实例的序列表示您的信号暂时不再可用。

我也推荐Erik Meijer's talk 和Kris Kowal's GTOR 关于这个主题。

Answer 2

您在标签中提到了“scala”，因此：在 jvm 上，它可以作为软/弱参考来完成。您可以将该概念移植到不同的技术，但必须自己进行内存管理。但它更适合处理单个值而不是流

Answer 3

promise 是一个有序的三元组：

Time -> Notification -> Value

它的逆也必须是有序三元组：

Value -> Notification -> Time

但是，您不希望在值开始衰减时收到通知，即立即；相反，您希望在值 衰减时收到通知。

Value -> Time -> Notification

通知带有Dispose语义。实际上，如果定义为IDisposable<T>，它与IDisposable 非常相似。

public interface IDisposable<T out>
{
  T Value { get; }
  IDisposable Subscribe(Action disposedAction);
  void Dispose();  // Not entirely necessary, perhaps.
}

它看起来像是 Task<T> 和 IObservable<T> 的科学怪人混合体。

IDisposable 的异步对偶可能吗？