statically-typed

not-comparable

(computing) Belonging to a type system that checks the variable types at compile time.

Japanese Meaning

（計算機科学）プログラムの実行前、すなわちコンパイル時に変数や式の型が決定・チェックされる型システムに属する性質を示す。 / 静的型付け：コンパイル時に型の整合性が検査され、実行時の型エラーが防止されるシステムを指す。

Many developers prefer statically-typed languages because they catch type errors during compilation.

多くの開発者は、変数の型をコンパイル時にチェックする型システムを持つ言語を好みます。なぜなら、それらはコンパイル時に型エラーを検出できるからです。

Sense（1）

(computing) Belonging to a type system that checks the variable types at compile time.