量子噪声模式理论与纳米光子学应用解析
2026/6/23 9:35:04
在保持模型纯净和引用透明的过程中,处理副作用是一个极其重要的问题。命令处理程序的执行会产生副作用,我们希望将这些副作用与状态更改 API 解耦。事件处理程序在重放时需要更改状态,但不能引发副作用,例如,我们不希望每次在模型中重放事件时,客户都会收到电子邮件。
使用自由单子进行命令组合后,自由单子的解释器可以处理所有副作用。由于命令是自由单子,副作用仅限于命令的执行。我们需要将状态更改 API 提取为单独的函数,供命令和事件处理程序分别重用。
我们以个人银行领域为例,介绍事件溯源领域模型的实现。这并非一个生产就绪的实现,而是为功能化实现提供思路,并强调可能出现的相关问题。
在事件溯源范式中,领域事件是一等实体。整个模型围绕领域事件构建,模型历史以事件流的形式存储,模型的(重新)生成通过事件重放实现。以下是事件的基本抽象和代数定义: