基礎文法

静的型付け

概要

変数の型が、コンパイル時に決まっている方式。

コンパイル時に変数の型が確定し、型チェックが行われる方式。実行前にエラーを検出しやすい反面、型の記述量が増えたり、動的な形状変化を柔軟に扱いにくかったりするトレードオフがある。