摘要： 1. 子类型 1.1. 在期望类型T的实例的任何地方，都可以安全地使用类型S的实例，则类型S是类型T的子类型 1.1.1. 里氏替换原则（Liskov substitution principle） 2. 名义子类型 2.1. 明确指定 2.2. 显式声明一个类型是另一个类型的子类型 2.3. 大部 阅读全文

摘要： 1. 装饰器模式 1.1. 扩展对象的行为，而不必修改对象的类 1.2. 装饰的对象可以执行其原始实现没有提供的功能 1.3. 优势 1.3.1. 支持单一职责原则 1.3.1.1. 每个类只应该承担一种职责 1.4. 经典实现 1.4.1. 一个IComponent接口 1.4.2. 一个具体实现 阅读全文

摘要： 1. 策略模式 1.1. 在运行时从一组算法中选择某个算法 1.1.1. 封装一组算法 1.1.2. 在运行时使用其中一个算法 1.2. 把算法与使用算法的组件解耦 1.3. 面向对象实现 1.3.1. 惯例实现 1.3.2. IStrategy接口 1.3.3. ConcreteStrategy1 阅读全文

摘要： 1. 避免基本类型偏执 1.1. 把值声明为基本类型，并对其意义做一些隐含的假定时 1.1.1. 例如：使用number表示邮编 1.1.2. 例如：使用string表示电话号码 1.2. 定义类型来显式捕捉值的含义，从而避免错误解释值 1.2.1. 新类型只是简单地封装了一个数字或字符串 1.2. 阅读全文

摘要： 1. 复合类型 1.1. 乘积类型 1.2. 组合一个或多个类型将得到一个新类型，其值为组成类型的全部可能的组合 1.3. 元组 1.3.1. 一组类型构成，通过它们在元组中的位置可以访问这些组成类型 1.3.2. 一种特殊的分组数据的方式，允许我们将不同类型的多个值作为一个值进行传递 1.3.3. 阅读全文

摘要： 1. 空类型 1.1. uninhabitable type 1.1.1. 声明从不返回的函数 1.2. 不能有任何值的类型，其可取值的集合是一个空集合 1.3. 函数不返回的原因 1.3.1. 函数在所有代码路径上都抛出异常 1.3.2. 函数可能执行无限循环 1.3.3. 导致程序崩溃 1.4. 阅读全文

摘要： 1. 引子 1.1. 1999年发射的火星气候探测者号（Mars ClimateOrbiter）进入火星轨道的过程中失去联络 1.2. 原因 1.2.1. Lockheed（洛克希德·马丁公司）开发的一个组件使用磅力秒（美国单位，可简写为lbfs）来测量动量，而NASA开发的另外一个组件则使用牛顿秒 阅读全文

摘要： 1. 代码评审注意事项 1.1. 始终保持代码评审的意识 1.2. 保证代码构建成功 1.3. 确保所有的测试都是通过的 1.4. 注意YAGNI原则 1.5. 检查重复代码 1.6. 使用静态分析器 1.7. 在代码开发完成之后，进入QA部门进行测试之前执行 1.8. 小步提交是有效传递信息的方式 阅读全文