【简介】：本书旨在告诉你如何使用类型系统编写更好、更安全的代码。虽然大部分介绍类型系统的图书更加关注形式方面的讨论，但本书采用了偏向实用的做法。本书包含你在日常工作中可能遇到的许多示例、应用和场景。
【分类】： #学习 #知识 #_douban_35325133_编程与类型系统
【大小】：未知
【链接】：阿里云盘
