MIT-6.005软件构建

L01 Static Typing

 主要对比Java和Python

Java：静态语言，运行之前所有变量都要声明。traps：整型相除还是整型，5/2=2。数值溢出，20亿*2结果是负数，这个bug不会报错。存在一些特殊值，例如除以0之后得到的无穷大

Python/JavaScript：动态语言，会有静态检查+动态检查。

三种程序检查：

static checking：可以检查语法错误、名称错误、类型错误、返回值错误、参数错误

dynamic checking：可以检查非法参数、无法返回、超范围索引

no checking