HaskellもF#今では動的型を取り入れて完全な静的型じゃなくなってる