阅读材料一总结

原文地址:https://courses.edx.org/courses/course-v1:MITx+6.005.1x+3T2016/courseware/Readings_Videos/01-Static-Checking/

总结

我们今天引入的主要思想是静态检查.下面是这个思想如何和我们的课程目标相关联的.

- 远离bug.静态检查通过查到类型错误和运行时其他的bug来有助于安全性.

- 易懂.它有助于理解,因为代码明确地声明了类型.

- 准备改变.静态检查通过辨别串联的其他地方是否需要改变使得更容易改你的代码.例如,当你改变一个变量的名字或者内容时,编译器立即在所有这个变量使用了的地方显示错误,提醒你也要升级它们.