statically-typed language

Noun

(programming language) A programming language that verifies the type safety of a program by analysis of the code.

Japanese Meaning

プログラムコードの解析によって、プログラム中の変数などの型が正しく使用されているかを検証するプログラミング言語。 / 静的型付けの仕組みにより、コンパイル時に型エラーが検出され、型の安全性が確保されるプログラミング言語。

When choosing a new framework, she preferred a statically-typed language to reduce runtime type errors.

新しいフレームワークを選ぶとき、彼女は実行時の型エラーを減らすために静的型付けのプログラミング言語を好んだ。

Sense（1）

(programming language) A programming language that verifies the type safety of a program by analysis of the code.

statically-typed languages

（ plural ）