ios - RACStream 代表一个 monad 是什么意思？

Question

来自文档 RACStream代表一个“Monad”？有人可以解释这在 RACStream 的上下文中具体意味着什么。我在 wiki 上查找了功能含义，但我很难理解它如何使 Reactive-Cocoa 受益以及为什么选择这种模式？

Answer 1

在 Objective-C 的上下文中，RACStream 是一个单子(monad)这一事实基本上意味着它遵循一种模式。在这种情况下，RACStream 具有 -bind: 方法，这是更常用的 -flattenMap: 的更“原始”版本，这些方法本质上是使 RACStream 成为 monad 的原因。

(查看 documentation for -flattenMap: 了解有关其使用的更多信息。)

给定一个 block B，它接受一个值并返回一个RACStream(即将值映射到流的 block )，并给定一个流A，调用 [A flattenMap:B] 将产生一个“聚合”流，其中包括 block B 返回的集合流集中的所有值(为 A)。 (编辑:这个狭义的解释没有描述结果流上值的时间，也没有描述错误传播。如果您对这些有疑问，我很乐意回答。)

几个例子可以在 ReactiveCocoa 的 Basic Operators 中找到。文档。

至于好处，我认为流是 monad 的事实主要只对那些有 monad 经验的人有益。另一方面，文档中几乎没有提到 monads，更重要的是，ReactiveCocoa 根本不需要 monads 的知识，所以不熟悉 monads 也没什么坏处。