アノテーションと mypy を組み合わせて静的型検査を実施できるようになります。