描述：本书旨在告诉你如何使用类型系统编写更好、更安全的代码。虽然大部分介绍类型系统的图书更加关注形式方面的讨论，但本书采用了偏向实用的做法。本书包含你在日常工作中可能遇到的许多示例、应用和场景。
链接：https://www.aliyundrive.com/s/ekZkfKLWXAr
📁 大小：未知
🏷 标签：#学习 #知识 #_douban_35325133_编程与类型系统
🎉 来自：雷锋
📢 频道：@shareAliyun
👥 群组：@aliyundriveShare
🤖 投稿：@aliyun_share_bot
