動的型言語は多相的に振る舞う関数が書きやすく
(型推論があってもランク2多相には型注釈が必須)
静的型言語では単相的に振る舞う関数が書きやすい

それだけの話なわけだが