Last Updated：2025/12/02

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

音声機能が動作しない場合はこちらをご確認ください

See correct answer

statically-typed language

Source Word

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 ）