MIT 6.031 — Software Construction Reading 1: Static Checking 阅读体会

java使用括号而不是python的缩进，其他规则java更加类似C语言

java有两种types，
基本类型:
int （for integers）
long (for larger integers）
boolean (for true or false)
double (for floating-point numbers)
char (for single characters)
对象类型：
String represents a sequence of characters
BigInteger represents an integer of arbitrary size
按照java的习惯写法，基本类型首字母小写，对象类型首字母大写

java/python三种不同的操作句法：
1.作为操作符（operator)
2.类的方法
3.函数
很多操作方法重载（overload），比如+、-、*、/能够在不同java的基本类型使用，大多数编程语言都有不同程度的重载

java静态检查能够在编译前就发现代码的很多问题，python是动态语言，高级别的python版本已经支持静态检查

List是一个接口（interface),只包含list操作的规约
ArrayList是一个对List接口操作具体实现的类
java中Integer和int在参数化值时是相同的（int a=1; Intergera = 1;),但
List list = new ArrayList();不能用int代替

遍历操作 for(every thing :things ) :可以被理解为in

public 可以被外界引用 private 不可以被外界引用
static 方法是一个没有对自己操作的函数，调用静态方法只需要调用类名
final 赋值一次，之后不能被修改

课程目标：
Safe from bugs
Easy to understand
Ready for change

课程使用java的原因
1.安全性
2.java的流行性、普遍