動的型付け言語の良さがわかりません

宣言時に var や let でタイプ数が減らせるのはいいんですが
結局その変数にどんな型が入っているかを
スコープ内でずっと意識しておく必要があり逆に負担に感じます。

汎用ライブラリの作成とかには便利なのかなと思うのですが、
その他にどのような利点があるか教えていただけないでしょうか。