编程与类型系统

对于编程基本问题的阐述，很契合希望加深对编程理解的人，例子虽然是ts，但对应cpp和更现代语言为何发展到如此做了简明的说明，有部分和cppsoftwaredesign的内容非常类似，思想完全贯通，把代码当工具的人就需要深刻理解工具的发展，不能只看到现在写的这一坨，对于业务的变化感到无语而放弃拯救自己，这是独属程序员才有的能力，理解编译器理解编程语言理解他面对的问题，持续去找和自己业务的关联性，业务也能更好

非常好的一本书，从实用的角度介绍编程语言类型系统，相比很多讲编程语言的书只停留在语法介绍和怎么使用，本书更多回答了为什么；相比“劝退的” 类型和程序语言设计 这类科班书籍，本书更浅显，适合入门；作者用心准备的案例，让我觉得这才称得上是一本书，以至于让我有点理解什么是“monad”，当然可能明早又忘了。。。 不管怎样，书本身打满分，扣分来自于微信读书代码截图让人体验不好，建议买纸书

前段时间表弟推荐了一本关于类型系统的书，记了下大概名字，当时看了下封面是黑红，发现微信图书有就读了这本，结果读了一半感觉不太对，又查了下原来另一本叫types and programming languages🥲

在信息世界里，一切皆可数字化。数字化的本质是计算机只能理解数字并对数字计算。于是一切信息概念必须转换成二进制位，即0和1。类型便是建立二进制数字上的抽象。类型规定了怎么解释一串二进制位，以及它支持哪些更抽象的计算。程序语言的演化产生很多编程范式，诸如指令式编程，面向对象编程，函数式编程，泛型编程，归根结底，它们都是面向类型编程。所以好不夸张地说，一切皆类型。总而言之，类型是数据和计算的抽象，这个抽象使得我们可以编写更复杂更接近人类思维方式的程序。

这本书还是可以的很多地方很。 nice.但是翻译不怎么好，如果只是中文版的话，还是有很多更好的书的。（不大适合大部分软件工程类学生，适合计算机科学的学生）

从跨语言的视角来看类型设计，最好有一个语言基础

近期读过相当好的编程书，能用精确简练的语言把日常工作场景积攒的一些模糊经验理顺，上次有这种类似读后感的书还是STL源码解析。后面monad部分有点绕了，过段时间再回来看一遍。

以typescript为主要语言来讲解类型系统。 可以了解一些概念： 1-强弱类型，静态动态类型 2-类型的协变/双变/逆变/不变 3-函子/单子 4-顶层类型和底层类型 了解一些实践 1-设计模式并不一定在面向对象下实现最优，可以考虑函数式实现 2-一些常用设计模式

从深入浅出，type system为出发点，涵盖了数据结构，算法，设计模式等知识。code examples非常简练直观，很好follow。

书名有点唬人，内容比较简单，用简短的例子讲解，看起来也不费力，尤其后面几章还是不错的，值得一口气读完。