摘要： 1. 范畴论 1.1. 范畴论是数学的一个分支，研究的是由对象及这些对象之间的箭头组成的结构 1.2. 函子和单子的概念来自范畴论 1.3. Haskell是一种编程语言，从范畴论中汲取了许多灵感，所以它的语法和标准库很容易表达函子、单子和其他结构的概念。Haskell完全支持高阶类型 2. 函子（ 阅读全文

摘要： 1. 常用算法 1.1. map() 1.1.1. 接受一个T值序列和一个函数(value: T) => U，将该函数应用到序列中的全部元素，然后返回一个U值序列 1.1.2. 别名 1.1.2.1. fmap() 1.1.2.2. select() 1.2. filter() 1.2.1. 接受一 阅读全文

摘要： 1. 恒等函数 1.1. 在代数中，恒等函数指的是函数f(x) = x 1.2. 恒等逻辑与getNumbers()和assembleWidgets()的问题域解耦，因为恒等逻辑和问题域是正交的，或者说是独立的 2. 类型参数 2.1. 将不同函数的区别，即它们的实参类型参数化 2.2. 一个泛型名 阅读全文

摘要： 1. 基本信息 C#代码整洁之道：代码重构与性能提升 ，英文名为Clean Code in C#。 作者：[英] 詹森·奥尔斯（Jason Alls） 著，刘夏 译 机械工业出版社，2022年4月出版。 1.1. 读薄率 书籍总字数489000字，笔记总字数8927字。 读薄率 8927÷48900 阅读全文

摘要： 1. 面向对象编程 1.1. （Object-Oriented Programming，OOP） 1.2. 基于对象的概念的一种编程范式 1.3. 对象可以包含数据和代码 1.4. 数据是对象的状态 1.5. 代码是一个或多个方法 1.5.1. 消息是方法，包括名称、实参和返回类型 1.6. 通过使 阅读全文

摘要： 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. 阅读全文