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

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