本书全面介绍类型系统的特性,从基本类型开始,一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型(如函子和单子)。本书没有关注这些特性背后的理论,而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
使用第三方修改过的浏览器、第三方开发的微信读书客户端,或通过插件等方式访问微信读书可能会导致你的账户信息泄露或被盗。
如无视此提示继续使用上述第三方工具将有可能导致你的账号被封禁。