Pythonの型ヒントと静的型チェックについてです。

一言でいうと、Pythonは型定義できるが、チェックされないので、しっかりやるなら静的型チェックツールに頼る必要があるといったところでしょうか。

要点

テキストの「4 型ヒント」の内容について、自分なりにまとめた要点は以下です。
ご参考になれば嬉しいです。

余談

TypeScriptが生まれきた最近のトレンドでは、静的型チェックはほとんどのチームに採用されるではないでしょうかね。

また、Python3.9以前では、複数の型を許可する型Unionは(number: Union[int, str])のように書く必要があったが、3.10以降では、(number: int | str)のようにかけるようになったそうです。個人的には、だいぶかっこよくなったと思います。