最近のpythonは型安全にかけるの?