python

この記事では、 Python の 型付けと、 mypy を用いたチェックまで、サンプルコードを交えて解説します。Python は 動的型付け言語として知られていますが、バージョン3.5以降、型ヒントという機能が導入され、静的型チェックが可能になりました。