我们发现集合论的很多概念与 TS 的类型系统一一对应，这对我们深刻理解和使用TS有很大的帮助，更进一步地，通过揭示TS背后的集合论，我们还能发现计算机科学、数学和逻辑学之间其实有着如此紧密的联系！

很惭愧在阿里实习将近三个月没有一点文章产出，同期入职的 炽翎 和 炬透 都产出了不少优秀的文章，如不想痛失薪资普调和年终奖？试试自动化测试！（基础篇），不禁感慨优秀的人都是有共同点的：善于总结沉淀，而且文笔还好（这点太羡慕了）。入职即将满三个月，也就是说我三个多月没写过文章了。…