大白菜博客内容简介
本书全面介绍类型系统的特性，从基本类型开始，一直介绍到函数类型和子类型、OOP、泛型编程和高阶类型（如函子和单子）。本书没有关注这些特性背后的理论，而是通过实际应用的方式来解释每种特性。本书说明了如何以及何时使用每种特性来改进代码。
相关截图
编程与类型系统 PDF下载
下载地址
版权归原创作者所有，任何形式转载请联系我们：大白菜博客 » 编程与类型系统 PDF下载
最新评论
徒弟可以A师傅，学生可以A老师，为什么外包不能A正式，我觉得很正常。异性相吸这是宇宙真理
PHP天下第一（狗头叼花）
第一个不需要关注公主号直接给激活码的帖子！
客户端超时断开后，服务端如果没有设置超时机制，那也会继续等待处理，万一这期间有消息到了，那不是就接受到消息处理了，但是也没有办法返回到客户端，导致消息丢失。
企业级GO项目开发实战 Kubernetes权威指南 第六版
https://pan.baidu.com/s/1q3bnTncIACKoTZFxvx7BQw?pwd=ii7n
RabbitMQ精讲，项目驱动落地，分布式事务拔高 有吗？
Spring Cloud Alibaba 微服务架构实战 https://pan.baidu.com/s/1jF5voFRoeF0lYAzAPBWSbw?pwd=chqk