Pythonの型ヒント
型ヒントに反する値を扱った場合でも、エラーにはならない。
あくまでもドキュメント的な役割を果たすものである
型ヒントを使うことでIDEのコード補完などで恩恵を受けられる。
静的型検査ツールを使うことでコード検査を行うことはできる。
mypy
動的型検査ライブラリを使うことで実行時に型検査を追加できる。
pydantic
typeguard
Pythonを模したゲームプログラムング用言語としてGDScriptがある
こちらでは型ヒントを付けると静的型検査が行われる。