関連ワード:  static types for python    static type checker for python    static type checking for python    static typing python example    can python be statically typed    statically typed python alternative    static vs dynamic python