2019-10-10想请教一下老师，类型论是干什么用的？跟类型系统有什么关系？作者回复: 我认为，如果想从根本上理解编程语言的类型系统，以及其他学科如社会学、生物学中的分类系统，应该都要理解类型论。因为数学是最最底层的形式体系了。
对子类型的严格定义，也最好用数学方式表达。
如果有对理论追根究底的兴趣，还是可以研究一下类型论。对于想设计一套类型系统的人来说，本着严谨的态度，也有必要了解类型论。 3- 2019-09-09Java中的封装类，提供了类型系统，好处就是方便使用，符合类型系统规范，坏处是性能损失。
作者回复: 是的:-)
2 
2019-11-14以类型系统实现的原理看已使用了良久的编程语言，有种莫名的亲切感。很好奇编程语言的发展史，以及特定的编程语言是为什么而诞生的，相互间又有什么异同之处。作者回复: 研究技术到最后，一定会研究历史，以及推动历史发展的那些人。我在结束语中提了一些关键的人物。我们仔细研究语言的特性的话，会发现它们传承、发展的脉络，很有意思。
1 1
2019-09-10C语言是静态类型语言，大部分变量是强类型，但指针是弱类型吧，查不出错啊。Go语言是静态类型语言，但interface 实现接口到运行时才报错又有动态的成份。请老师指正。作者回复: 同意你的分析:-)
1
2019-09-08老师讲的太好了，十几年没搞懂的概念终于理整明白了。作者回复: 谢谢肯定:-)
1