mypy

デジタルトランスフォーメーション(DX)、人工知能(AI)、機械学習(ML)タスクのベースとなるプログラミング技術としてのPyhtonでのmypyを使った静的型チェック(Protocol、Class、継承関係、Structural subtyping、Nominal subtyping、型ヒント、型チェック、型アノテーション、動的型付け言語、静的型付け言語、漸進的型付け)