简介

精彩点评

• 

  LIMON

  推荐

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

• 

  森

  推荐

  想更深入理解下 CompletableFuture，听说这本书比较通俗，读了一波，果然大多基础好读，部分进阶一点。又增进了一点对「自函子范畴上一个幺半群」的理解，另外看来 Haskell 学习还是得安排上[旺柴]

• 

  yinz

  推荐

  不知道这本书面向的主要读者是哪部分，也不知道这本书想要说的侧重点是什么。 讲一点点类型 系统基本概念，还没讲明白。又讲一些数据结构的内容，最后参杂一些Java 设计模式 不值得读

• 

  Nix

  推荐

  从第七章开始，没有接触过FP范式程序员就开始烧脑了，但是绝对值得一读。

• 

  Scarborough_Coral

  推荐

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

• 

  Larry史明春

  推荐

  一般从类型系统讲编程的不是很多，我倒是觉得可以作为编程的一本教科级的入门书

• 

  潇洒.徐

  推荐

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

• 

  Irisz

  推荐

  很不错的一本书，由浅入深，后面有一定难度，如果上手实践的话，最好按顺序阅读，例子之间有较强的依赖关系。类型基本上每种编程语言都有，但都作为语言的一个基础语法来讲，本书作者算是从另一个角度，但就类型的演变来展开的，开阔思路，由简单的抽象到后面函数式编程、泛型、范畴论等等，抽象度一步步提高，越抽象应用性越广，当然，也越难理解，总得来说，还是挺有趣的。[呲牙]

• 

  健行

  推荐

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