MIT6.031 軟件構造 Reading1閱讀筆記 Static Checking

來自MIT6.031 軟件構造課的Reading材料的第一篇，介紹了軟件構造課的基本目標，提供了給Python程序員的Java基礎課程，進行了Python和Java的對比，也簡單介紹了本課程選擇Java作爲授課語言的原因。 具體內容及筆記見下圖，筆記主要以手寫方式提供。 （似乎本材料和原標題靜態檢查的關係也沒有那麼大。。。） MIT官網直通車

>>阅读原文<<