静的型付け
型推論によって、処理系(コンパイラ Compilerなど)が文脈から型を予測して型付けしてくれる
メリット
データ型 data typeを明示的に書かなくて良い
冗長さの排除
null安全性
nullアクセスの例外を防げる