Pythonの型付けもそうだけど、一番はドキュメントとして型表記を利用したいんだよ。
別に一部で型を明記したところでそうでない部分との関係で対して最適化や補助は効かないけど
ドキュメントとしては価値がある。