编程与类型系统.pptxVIP

编程与类型系统读书笔记模板 01思维导图 读书笔记 作者介绍 内容摘要 目录分析 精彩摘录目录0305020406 思维导图 系统编程类型单子特性函子方式习题类型函数要点小结模式答案第章数据结构数据代码系统本书关键字分析思维导图 内容摘要 内容摘要本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有**这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。 读书笔记 读书笔记写得还算深入浅出，关于类型系统，更多的是从为什么使用做为切入点介绍相应的技术点，值得一看。从第七章开始，没有接触过FP范式程序员就开始烧脑了，但是绝对值得一读。一般从类型系统讲编程的不是很多，我倒是觉得可以作为编程的一本教科级的入门书。东讲一点，西讲一点，内容冗杂不清晰如果你只是想系统学习下TS，看完 handbook直接开整吧不推荐。大杂烩，没有重点。书名有点唬人，内容比较简单，用简短的例子讲解，看起来也不费力，尤其后面几章还是不错的，值得一口气读完。不知道这本书面向的主要读者是哪部分，也不知道这本书想要说的侧重点是什么。整本书相当流畅，可以作为其他语言的程序员熟悉typescript的途径，类型系统虽然讲得比较浅，但是也提供了进一步的学习建议与资料，推荐。从深入浅出，type system为出发点，涵盖了数据结构，算法，设计模式等知识。想更深入理解下 CompletableFuture，听说这本书比较通俗，读了一波，果然大多基础好读，部分进阶一点。 目录分析 本章要点1.2类型系统的优点1.1为什么存在类型第1章类型简介 小结1.3类型系统的类型第1章类型简介 1.1为什么存在类型1.1.1 0和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.1 lambda5.3.2习题 5.4使用map、filter和reduce5.4.1 map()5.4.2