摘要： 1. Java 8 1.1. 除了增加函数式特性，还增加了一些配合使用的语法糖衣 1.2. 函数式接口 1.2.1. SAM（Single Abstract Method，单抽象方法）接口 1.2.1.1. 含有单一方法的接口是Java的一种习惯用法 1.2.1.2. Runnable和Callab 阅读全文

摘要： 1. 语言的分类 1.1. 静态类型 1.1.1. 要求我们事先指定变量和函数的类型 1.2. 动态类型 1.2.1. 允许推迟指定类型 1.3. 强类型 1.3.1. 变量“知道”自己的类型 1.3.1.1. 允许反射和对实例作类型测试，且一直保有自身的类型信息 1.4. 弱类型 1.4.1. 语 阅读全文

摘要： 1. 观点 1.1. 抽象隐藏了繁杂的细节，只是有时候会连同重要的考虑因素一起隐藏掉 1.2. 理解掌握的抽象层次永远要比日常使用的抽象层次更深一层 1.3. 交出控制权的观点：放弃对繁琐细节的掌控，关注问题域，而非关注问题域的实现 2. 函数式思维的好处 2.1. 将低层次细节（如垃圾收集）的控制 阅读全文

摘要： 1. 命令式编程 1.1. 按照“程序是一系列改变状态的命令”来建模的一种编程风格 1.2. 传统的for循环 1.2.1. 确立初始状态 1.2.2. 每次迭代都执行循环体中的一系列命令 1.2.2.1. 将操作安排在循环内部去执行 1.3. Java 1.3.1. 消除了垃圾收集的麻烦 2. 函 阅读全文

摘要： 1. 范式转变 1.1. 学习一种全新的编程范式，困难并不在于掌握新的语言 1.1.1. 真正考验人的，是怎么学会用另一种方式去思考 1.2. 计算机科学的间歇式进步，好思路有时搁置数十年后才变成主流 1.3. 第一种面向对象的语言Simula 67是1967年发明的，可是直到1983年诞生的C++ 阅读全文

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