python学习笔记—类型检查与格式化字符串