资源标题：【douban-35325133】编程与类型系统
资源描述：本书旨在告诉你如何使用类型系统编写更好、更安全的代码。虽然大部分介绍类型系统的图书更加关注形式方面的讨论，但本书采用了偏向实用的做法。本书包含你在日常工作中可能遇到的许多示例、应用和场景。
链接：https://www.aliyundrive.com/s/ekZkfKLWXAr
📁 大小：未知
🏷 标签：#学习 #知识
📢 频道：@zaihuayun
🔔 通知：@yppan
🤖 投稿：@zaihuaboxbot
🧧 双11： 11.maxok.com
https://t.me/zaihuayun/19607