python学习笔记：强类型，判断类型