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

posted @ 2020-06-02 17:29  洪山鸟王  阅读(360)  评论(0)    收藏  举报