编程与类型系统

编程与类型系统读书笔记模板01思维导图读书笔记作者介绍内容摘要目录分析精彩摘录目录0305020406思维导图系统编程类型单子特性函子方式习题类型函数要点小结模式答案第章数据结构数据代码系统本书关键字分析思维导图内容摘要内容摘要本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有**这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。读书笔记读书笔记写得还算深入浅出，关于类型系统，更多的是从为什么使用做为切入点介绍相应的技术点，值得一看。从第七章开始，没有接触过FP范式程序员就开始烧脑了，但是绝对值得一读。一般从类型系统讲编程的不是很多，我倒是觉得可以作为编程的一本教科级的入门书。东讲一点，西讲一点，内容冗杂不清晰如果你只是想系统学习下TS，看完handbook直接开整吧不推荐。大杂烩，没有重点。书名有点唬人，内容比较简单，用简短的例子讲解，看起来也不费力，尤其后面几章还是不错的，值得一口气读完。不知道这本书面向的主要读者是哪部分，也不知道这本书想要说的侧重点是什么。整本书相当流畅，可以作为其他语言的程序员熟悉typescript的途径，类型系统虽然讲得比较浅，但是也提供了进一步的学习建议与资料，推荐。从深入浅出，typesystem为出发点，涵盖了数据结构，算法，设计模式等知识。想更深入理解下CompletableFuture，听说这本书比较通俗，读了一波，果然大多基础好读，部分进阶一点。目录分析本章要点1.2类型系统的优点1.1为什么存在类型第1章类型简介小结1.3类型系统的类型第1章类型简介1.1为什么存在类型1.1.10和11.1.2类型和类型系统的定义1.2类型系统的优点1.2.1正确性1.2.2不可变性1.2.3封装1.2.4可组合性1.2.5可读性1.3类型系统的类型1.3.1动态类型和静态类型1.3.2弱类型与强类型1.3.3类型推断本章要点2.1设计不返回值的函数2.2布尔逻辑和短路2.3数值类型的常见陷阱2.4编码文本12345第2章基本类型2.5使用数组和引用构建数据结构习题答案小结第2章基本类型2.1设计不返回值的函数2.1.1空类型2.1.2单元类型2.1.3习题2.2布尔逻辑和短路2.2.1布尔表达式2.2.2短路计算2.2.3习题2.3数值类型的常见陷阱2.3.1整数类型和溢出2.3.2浮点类型和圆整2.3.3任意大数2.3.4习题2.4编码文本2.4.1拆分文本2.4.2编码2.4.3编码库2.4.4习题2.5使用数组和引用构建数据结构2.5.1固定大小数组2.5.2引用2.5.3高效列表2.5.4二叉树2.5.5关联数组2.5.6实现时的权衡2.5.7习题本章要点3.1复合类型3.2使用类型表达多选一3.3访问者模式3.4代数数据类型12345第3章组合习题答案小结第3章组合3.1复合类型3.1.1元组3.1.2赋予意义3.1.3维护不变量3.1.4习题3.2使用类型表达多选一3.2.1枚举3.2.2可选类型3.2.3结果或错误3.2.4变体3.2.5习题3.3访问者模式3.3.1简单实现3.3.2使用访问者模式3.3.3访问变体3.3.4习题3.4代数数据类型3.4.1乘积类型3.4.2和类型3.4.3习题本章要点4.1避免基本类型偏执来防止错误解释4.2实施约束4.3添加类型信息4.4隐藏和恢复类型信息12345第4章类型安全习题答案小结第4章类型安全4.1避免基本类型偏执来防止错误解释4.1.1火星气候探测者号4.1.2基本类型偏执反模式4.1.3习题4.2实施约束4.2.1使用构造函数实施约束4.2.2使用工厂实施约束4.2.3习题4.3添加类型信息4.3.1类型转换4.3.2在类型系统之外跟踪类型4.3.3常见类型转换4.3.4习题4.4隐藏和恢复类型信息4.4.1异构集合4.4.2序列化4.4.3习题本章要点5.1一个简单的策略模式5.2不使用switch语句的状态机5.3使用延迟值避免高开销的计算第5章函数类型5.4使用map、filter和reduce5.5函数式编程小结习题答案第5章函数类型5.1一个简单的策略模式5.1.1函数式策略5.1.2函数的类型5.1.3策略实现5.1.4一等函数5.1.5习题5.2不使用switch语句的状态机5.2.1类型编程小试牛刀5.2.2状态机5.2.3回顾状态机实现5.2.4习题5.3使用延迟值避免高开销的计算5.3.1lambda5.3.2习题5.4使用map、filter和reduce5.4.1map()5.4.2filter()5.4.3reduce()5.4.4库支持5.4.5习题本章要点6.1一个简单的装饰器模式6.2实现一个计数器6.3异步执行运行时间长的操作6.4简化异步代码12345第6章函数类型的高级应用习题答案小结第6章函数类型的高级应用6.1一个简单的装饰器模式6.1.1函数装饰器6.1.2装饰器实现6.1.3闭包6.1.4习题6.2实现一个计数器6.2.1一个面向对象的计数器6.2.2函数式计数器6.2.3一个可恢复的计数器6.2.4回顾计数器实现6.2.5习题6.3异步执行运行时间长的操作6.3.1同步执行6.3.2异步执行：回调6.3.3异步执行模型6.3.4回顾异步函数6.3.5习题6.4简化异步代码6.4.1链接promise6.4.2创建promise6.4.3关于promise的更多信息6.4.4async/await6.4.5回顾整洁的异步代码6.4.6习题本章要点7.1在TypeScript中区分相似的类型7.2子类型的极端情况7.3允许的替换第7章子类型习题答案小结第7章子类型7.1在TypeScript中区分相似的类型7.1.1结构和名义子类型的优缺点7.1.2在TypeScript中模拟名义子类型7.1.3习题7.2子类型的极端情况7.2.1安全的反序列化7.2.2错误情况的值7.2.3回顾顶层和底层类型7.2.4习题7.3允许的替换7.3.1子类型与和类型7.3.2子类型和集合7.3.3子类型和函数的返回类型7.3.4子类型和函数实参类型7.3.5回顾可变性7.3.6习题本章要点8.1使用接口定义契约8.2继承数据和行为8.3组合数据和行为8.4扩展数据和行为12345第8章面向对象变成的元素8.5纯粹面向对象代码的替代方案习题答案小结第8章面向对象变成的元素8.2继承数据和行为8.2.1“是一个”经验准则8.2.2建模层次8.2.3参数化表达式的行为8.2.4习题8.3组合数据和行为8.3.1“有一个”经验准则8.3.2复合类8.3.3实现适配器模式8.3.4习题8.4扩展数据和行为8.4.1使用组合扩展行为8.4.2使用混入扩展行为8.4.3TypeScript中的混入8.4.4习题8.5纯粹面向对象代码的替代方案8.5.1和类型8.5.2函数式编程8.5.3泛型编程本章要点9.1解耦**点9.2泛型数据布局9.3遍历数据结构9.4数据流12345第9章泛型数据结构习题答案小结第9章泛型数据结构9.1解耦**点9.1.1可重用的恒等函数9.1.2可选类型9.1.3泛型类型9.1.4习题9.2泛型数据布局9.2.1泛型数据结构9.2.2什么是数据结构9.2.3习题9.3遍历数据结构9.3.1使用迭代器9.3.2流线化迭代代码9.3.3回顾迭代器9.3.4习题9.4数据流9.4.1处理管道9.4.2习题本章要点10.1更好的map()、filter()和reduce()10.2常用算法10.3约束类型参数第10章泛型算法和迭代器10.4高效reverse和其他使用迭代器的算法10.5自适应算法小结习题答案第10章泛型算法和迭代器10.1更好的map()、filter()和reduce()10.1.1map()10.1.2filter()10.1.3reduce()10.1.4filter()/reduce()管道10.1.5习题10.2常用算法10.2.1使用算法代替循环10.2.2实现流畅管道10.2.3习题10.3约束类型参数10.3.1具有类型约束的泛型数据结构10.3.2具有类型约束的泛型算法10.3.3习题10.4高效reverse和其他使用迭代器的算法10.4.1迭代器的基础模块10.4.2有用的find()10.4.3高效的reverse()10.4.4高效地获取元素10.4.5回顾迭代器10.4.6习题本章要点11.1更加通用的map11.2单子11.3继续学习第11章高阶类型及其他习题答案小结第11章高阶类型及其他11.1更加通用的map11.1.1处理结果或传播错误11.1.2混搭函数的应用11.1.3函子和高阶类型11.1.4函数的函子11.1.5习题11.2单子11.2.1结果或错误11.2.2map()与bind()的区别11.2.3单子