python强类型还是弱类型