附录:静态语言类型检查

这是一本我多年来撰写的经过编辑过的论文集，论文集试图将静态检查语言和动态语言之间的争论放到一个正确的角度。还有一个前言部分，描述了我最近对这个话题的思考和见解。

前言

静态类型检查和测试

如何提升打字

生产力的成本

静态和动态