为灵活性和健壮性而设计:异步消息模型、OOP 和函数式编程

  • Sadek Drobi
  • 郭晓刚

2007 年 11 月 17 日

话题:函数式编程Erlang架构语言 & 开发

“吩咐,不要询问”:按照 Pragmatic Programmers 的说法,在面向对象编程中最好“吩咐一个对象让它去做些什么,而不是向它索要数据”。Michael Feathers 认为“这是一个极佳的建议”,特别是对于比较大的系统:

返回值把工作又推回给调用者。单单做完一件事然后向协作者发送一条消息还不算完;你必须等着看有没有什么被送回来,然后可能还要做更多的事情。如果不返回值会让我们更轻松一点。

Feathers 认为在测试驱动开发中使用 Mocks 会导致这种类型的架构:

与其吩咐一个对象去做事,然后询问它是否已经完成,你不如吩咐它去做事,然后看看它的协作者有什么变化。[……] 这有点像工作流。[……] 遇到新需求的时候比较不会影响到设计。而且,这样很合理。每个对象负责一件事情,并且通知下一个接班的对象。

我们还可以更进一步。Feathers 主张如果没有返回值需要等候,那么发送“异步消息比同步消息更好“。实际上 H.S. Lahman 早就主张过在面向对象架构中的“行为是被假定为异步的”。如今的 OOP 模型是同步的,这是因为在面向对象编程语言中“没有区分开消息和方法”。因此“更加难以构造出正确的 OOA/D 模型”,正确的模型不仅可以显著提高可维护性,还包括健壮性。

Michael Feathers 描述说这种做法也与 Erlang 的模型相吻合:

Erlang 隐含的思想是,如果你能创建大量的进程,并保证它们绝不共享状态,你就可以开发出更加健壮的系统。每个进程接收消息,做自己的工作,然后向其他进程发送消息。消息的发送主要是异步的。

Feathers 认为,“吩咐,不要询问”的编程模型“几乎是函数式编程的反面”,虽然“两者都有一个相对无状态的河床让数据从上流过”:

在最纯粹的函数式编程中,你从不吩咐,总是询问。而且如果有缓求值(lazy evaluation)帮忙,系统只需完成最必不可少的操作来回答你的问题。

不过可争议的是 Erlang 不能被认为是纯粹的函数式语言。Feathers 也特别引用Ralph Johnson的观点,他指出 Erlang 的“核心里头是 OO”。

就你的观点,哪种无状态模型最适合处理现今的适应性和健壮性问题呢?是 Erlang 的异步消息模型还是某种纯粹的函数式编程方法(如 Haskell)?

查看英文原文:Designing for flexibility and robustness: Asynchronous message model, OOP and Functional Programming
函数式编程Erlang架构语言 & 开发