Pythonは動的型付け言語？その特徴と具体例をわかりやすく解説

はい、その通りです。Pythonは動的型付け（ダイナミックタイピング）の言語です。では「動的」とはどういう意味なのでしょうか。

動的型付けとは何か

Pythonでは、変数に値を代入する際に型を宣言する必要がありません。これが「動的」と呼ばれる理由です。

一方、C言語、C++、Javaなどの静的型付け言語では、変数に値を代入する前に、あらかじめ厳密に型を宣言しなければなりません。例えばJavaでは int x = 10; のように、変数の型を明示するのが必須です。

Pythonでは型宣言が不要

Pythonでは、変数の型を宣言しなくても一切問題ありません。プログラムの実行時（ランタイム）に、代入された値から自動的に変数の型が判断されます。この仕組みによって、Pythonは柔軟で簡潔なコードを書ける動的型付け言語となっています。

実際のコード例を見てみましょう。

コード例

## 変数に値を代入
x = [1, 2, 3]
## この時点でxはリスト型
print(type(x))
## 同じ変数xに別の値を再代入
x = True
## この時点でxはbool型
print(type(x))

上記のプログラムを実行すると、次のような結果が出力されます。

実行結果

<class 'list'>
<class 'bool'>

コードのポイント

この例からわかるように、同じ変数 x に対して、最初はリスト型の値を代入し、その後ブール型（True）の値を再代入してもエラーは発生しません。Pythonは実行時にそれぞれの値の型を自動的に判定しているためです。

type() 関数を使うことで、変数が現在どの型を持っているのかを簡単に確認できます。この柔軟性こそが、Pythonが初心者にも扱いやすいとされる大きな理由の一つです。

まとめ

Pythonは変数の型宣言が不要で、実行時に型が決まる動的型付け言語です。これによりコードがシンプルになり、開発スピードも向上します。ただし、大規模なプロジェクトでは型ヒント（type hints）を活用して可読性や保守性を高めるのも良い practice です。