mypy相关知识