人間が管理できる規模のうちは型アノテーションでも十分

コードの規模がデカくなってくるとコンパイル時チェックがないとやってられん