もともと以下の記事のコメントに書いていたのですが、コメントに書くには攻撃的すぎる内容だと思ったので、ここに移しました。 Pythonで型を極める【Python 3.9対応】 宗教論争を引き起こすだけ、であろうことは承知の上での記事です。 最近、静的型付けの利点(というか、動的型付けの欠点?)がよく語られるようになってきて、TypeScript が隆盛したり、Pythonでも静的な型チェックができるようになっています。 ただ、個人的に、(とくに動的型付け言語に、後から追加された静的型チェック機能において)、「不要な型付け」(場合によっては、むしろ「有害にすら思える型付け」)をしているコードが増えているような気がしています。 Pythonで型を極める【Python 3.9対応】 の記事で、 とする、という例が登場します。 しかしながら、この例では、型は書くべきではないと思います。 不必要に型を