Reading 1: Static Checking

Static Typing and static checking

Type:

primitive type
object types

Static Typing

python vs java

Mutating Values vs. Reassigning Variables

变量可变 vs 变量不可变 and 重新定义

Summary

静态类型检查 static checking 符合下面三个优点

Safe from bugs

Easy to understand

Ready for change.