静态类型

静态类型是指"运行前就定好每个变量是什么类型"，编译时就检查。好处是很多类型错误还没跑就被发现，像出门前先检查有没有带钥匙。