目次:
定義-Statically Typedはどういう意味ですか？
静的型付けは、変数型が明示的に宣言されているため、コンパイル時に決定されるプログラミング言語の特性です。 これにより、コンパイラーは、指定された変数が要求されたアクションを実行できるかどうかを決定できます。
静的型付けは、型を値ではなく変数に関連付けます。 静的に型付けされたプログラミング言語の例には次のものがあります。
- ハスケル
- FORTRAN
- Java
- C
- C#
- C ++
- エイダ
- ヒスイ
- パスカル
- ML
- Perl
- スカラ
TechopediaでStatically Typedについて説明します
静的型付けでは、実行時にオブジェクトが何らかのアクションを実行できることを確認するために追加のチェックを実行する必要はありません。 静的に型付けされたプログラミング言語は、実行時ではなくコンパイル中に型チェックを実行します。これにより、これらの言語で書かれたプログラムははるかに高速に実行されます。
さらに、ツールはプログラムのコーディング時に変数の型を見つけることができるため、静的に型付けされた言語ではツールとリファクタリングが優れています。 これにより、特定の関数のパラメーターと特定のオブジェクトで使用可能なメソッドをすぐに理解できます。 これにより、リファクタリングプロセスもはるかに簡単になります。
いくつかの例外を除き、メソッドまたはオブジェクトがリファクタリングされると、他のどのコードがそれに依存しているかをすぐに理解しやすくなります。 ただし、これにはコストがかかります。 いくつかの例外を除き、静的に型指定された言語では、作成者の意図した目的に関してコンパイラに通知するために追加の注釈が必要です。
オブジェクト構造に関しては、静的に型付けされた言語は、対応する動的な言語と比較すると柔軟性が低い傾向があります。 実行中に特定のオブジェクトにフィールドとメソッドを追加することはできません。 構造化されていないデータを処理する場合、これは複雑になります。 たとえば、JSON、XML、またはデータベースクエリを解析すると、理想的ではないオブジェクトマッピングが発生します。
