领域模型=代码
如果说敏捷软件开发主张面对面沟通,通过快速迭代的手段,让有价值的软件尽早面向市场,从而适应快速变化的需求。
那么DDD则为敏捷开发过程中的沟通形式,作出了进一步的补充。纵观DDD的所有环节,无一不是在打通领域专家和开发人员之间的沟通和交流。DDD的精髓在于通过让开发人员理解领域,进而让开发人员使用编程语言建立一个跟领域专家脑海中一致的领域模型,使得该领域模型成为大家共享知识的途径,这将有效的减少不同利益相关者的沟通及交流,确保所有人都在解决同一个问题。
共享模型=代码=文档
我还记得我的第一份工作,每当有代码或者设计改动时,都要去更新UML类图以及数据库设计文档。这些文档大概充当着共享模型的作用,但是最终这些设计类图和文档都慢慢变得不可信,因为没有任何手段保证文档会被及时跟新。
实际上代码比较擅长表达设计内容,从本质上讲,源代码是一个文档,可以完美地描述产品的每个当前设计决策。
原则上,如果开发人员用代码创建了一个领域专家脑海中一致的领域模型,则代码无疑是最有效,最实时的共享模型。
唯一制约这个等式的鸿沟在于领域专家能否读懂代码。而简单易学,有表达力,直观的编程语言则能在创建领域模型的过程中占领一些优势。
领域建模
领域建模是整个DDD环节中最最考验开发人员功底的一环,不同于传统的数据库建模技术,开发人员需要有很好的抽象能力,通过恰如其分的编程技术,将领域知识映射到一个代码模型中。
长期以来OO语言被认为是领域建模的首选,一些OO的技巧可以很好的用来抽象领域模型。而函数式语言则被普遍认为只能用来做数据处理,科学计算等。本文将为大家展示如何通过函数式编程语言进行领域建模,本文选用TypeScript编写实例,TypeScript类型系统完全满足函数式编程需求,当然本文也适用于其他拥有静态类型系统并拥有代数数据类型的函数式编程语言。
TypeScript的类型系统
相对于OO,你只需要知道少量的语法知识就可以开始领域建模