6.1 静态类型检查