L01 Static Typing
主要对比Java和Python
Java：静态语言，运行之前所有变量都要声明。traps：整型相除还是整型，5/2=2。数值溢出，20亿*2结果是负数，这个bug不会报错。存在一些特殊值，例如除以0之后得到的无穷大
Python/JavaScript：动态语言，会有静态检查+动态检查。
三种程序检查：
static checking：可以检查语法错误、名称错误、类型错误、返回值错误、参数错误
dynamic checking：可以检查非法参数、无法返回、超范围索引
no checking
原文：https://www.cnblogs.com/ldfhnb/p/13025784.html