静的型付け、動的型付けとは何か

ものすごく簡単に言えば、

『変数を最初に書いたとき、何型かを定義する必要があるかどうか』

です。

このとき、そのプログラムの実行よりも前に変数の型があらかじめ決まっている仕様の言語を『静的型付け言語』、プログラム実行時に代入する値によって勝手に型が決まる仕様の言語を『動的型付け言語』と呼びます。

静的、動的、というのは、静的=あらかじめ決まっている、動的=状況に応じて臨機応変に変えてくれる、というコンピュータサイエンスならではの用語ですね。

なぜ静的型付けが好きか

さて、静的型付け言語と動的型付け言語はそれぞれにメリットとデメリットがあります。

私は型がビシッと明示的に書かれている状態が自分で書いていてもわかりやすくて好きなので、どうしても静的型付け言語に軍配が上がってしまいます。

扱いが難しいかわりにうまくやれば速度が出せる、というところもオタク心をくすぐります。

Pythonもそうですし、RubyやJavaScriptといった最近流行りの言語の多くが動的型付け言語なのですが、皆さんの好みはいかがでしょうか。

個人的には、静的型付け言語を学ぶことで、コンピュータ内部でどのような処理が走っているかをより深く知ることができると考えています。

動的型付け言語から入った人は静的型付け言語を学ぶときに難しさを感じてしまうかもしれませんが、一度は学んでみる価値があるでしょう。

次回はこのブログでたびたび触れてきた静的型付け言語・Rustに入門する記事の予定です。