静的型付け言語は静的なチェックで型の推論が行えるおかげで型を書く機会は少なく、動的型付け言語はそういうのがないので型をことあるごとに書かなければならない、という逆転現象が起こっているよなぁ