摘要：日常中，人与人打交道存在权利与责任，以及信任的问题，这些问题会让人与人之间的交往变得困难，那么为了解决这些困扰，在人与人打交道时会用合约的方式来明确下双方的权利责任。 DBC 软件设计中为了确保软件模块的权利与责任，以确保程序的正确性，也引入了合约的概念，这就是DBC（Design By Contr 阅读全文

摘要：编程的公理之一：“你不可能写出完美的软件” 因为不可能编写出完美的软件，所以才要作一名注重实效的程序猿。 不轻易相信他人的代码，甚至连自己也不信任，为了防止错误，进行防卫性的编码。 （什么是防卫性的编码？） 阅读全文

摘要：（这一节并不是特别懂，尤其是主动代码生成器） 当需要编写的功能存在于不同的语境，不同的位置时，我们为了避免重复的码字，减少不必要的重复劳动，这时我们就需要构件代码生成器。 ＊编写可以编写代码的代码 代码生成器分为两种： 1.被动代码生成器 只运行一次来生成代码，而后的生成的结果与代码生成器就完全分离 阅读全文