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