作者从经典聚合开始，发现领域驱动设计和面向对象模式促使他更多地思考数据而非业务逻辑。作者研究如何更好地进行建模并将其反映在代码中，对简单性的追求已经开始。同时，作者在 TypeScript 方面做了很多工作，对代数类型的编码有了新视角。使用不可变结构使代码更容易被信任。文章讨论了事件溯源的问题，认为它试图从完全形式上提供一劳永逸的方式，与分布式事务一致，将形式与状态内容区分开来。