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