型宣言言語

「型宣言言語」の意味

プログラミング言語の分類で、変数や関数の型（データ型）を使用前に明示的に宣言しなければならない言語を指します。コンパイル時に型チェックが行われるため、実行前に型関連のエラーを検出でき、安全性が高い反面、コード記述の自由度は低くなります。

例文

• JavaやC++は型宣言言語で、変数作成時に型を指定します。
• 型宣言言語では実行前にエラーが見つかりやすい利点があります。
• Pythonとは異なり、型宣言言語は記述が若干冗長になります。

類語・関連語

対義語・対比となる語

連想語・周辺概念

語源・由来

「型」は変数などの性質・分類を、「宣言」は事前に明示的に述べることを意味し、両者を合わせた造語です。プログラミング言語の分類用語として日本語で広く使用されています。

英語で言うと