推荐读一下 Domain Modeling Made Functional: Tackle Software Complexity
就是在讲各种编译器保证业务逻辑的方法，只要语言有像样点儿的类型系统就可以

知乎上的 工业聚 也写过类似的系列文章

【 在 gfkid 的大作中提到: 】
: 学习了
--
FROM 123.120.175.*