[解決済み] 静的型付け言語と動的型付け言語の違いは何ですか？

質問

新しいプログラミング言語は動的型付けされているとよく聞きますが、言語が動的型付けされていると言うとき、静的型付けされていると言うとき、実際にはどのような意味があるのでしょうか？

どのように解決するのですか？

静的型付け言語

コンパイル時に変数の型が分かっている場合、その言語は静的型付けされています。言語によっては、プログラマーが各変数の型を指定しなければならないものもあれば、Java、C、C++など、何らかの形で 型推論 OCaml、Haskell、Scala、Kotlinなどの型システムで変数の型を推論することができる。

ここでの主な利点は、あらゆる種類のチェックをコンパイラで行うことができるため、多くの些細なバグを非常に早い段階で発見することができることです。

例 C、C++、Java、Rust、Go、Scala

動的型付け言語

型が変数やフィールドなどの名前ではなく、実行時の値に関連付けられている場合、その言語は動的型付けされています。これは、プログラマーが毎回型を指定する必要がないため、少し速く書けることを意味する（ただし、静的型付け言語である 型推論 ).

例 Perl、Ruby、Python、PHP、JavaScript、Erlang

静的な型チェックを行うコンパイラが存在しないため、ほとんどのスクリプト言語にはこの機能が備わっていますが、インタプリタが変数の型を誤って解釈したことによるバグを探すことになる場合があります。幸いなことに、スクリプトは小さくなりがちなので、バグが隠れる場所はそれほど多くありません。

動的型付け言語の多くは、型情報を提供することは可能ですが、必須ではありません。現在、開発中の言語のひとつに ラスカル 関数内での動的型付けは可能だが、関数シグネチャには静的型付けを強制するというハイブリッドなアプローチをとっている。