MIT6.031 软件构造 Reading1阅读笔记 Static Checking

来自MIT6.031 软件构造课的Reading材料的第一篇，介绍了软件构造课的基本目标，提供了给Python程序员的Java基础课程，进行了Python和Java的对比，也简单介绍了本课程选择Java作为授课语言的原因。 具体内容及笔记见下图，笔记主要以手写方式提供。 （似乎本材料和原标题静态检查的关系也没有那么大。。。） MIT官网直通车

>>阅读原文<<