python学习：数据类型检查