strongly-typed (強い型付け)

すべての識別子に型が割り当てられると、プログラミング言語は強い型付けになります。 型が明示的に指定されていなければ、その型は推測されます。 つまり、そのような識別子の型と演算がそのような型に与える影響がわかるため、言語がランタイム中に予測不可能な結果を出すことはありません。 「静的チェック」も参照してください。