在当今的软件开发实践中，类型注解和类型检查在提高代码的可读性和健壮性方面发挥着至关重要的作用。尤其在 Python 这种动态类型语言中，通过类型注解和类型检查工具，如 mypy，可以显著提升代码质量。以下是关于 Python 类型注解与类型检查的详细讨论，包括基础知识、mypy 的使用，以及最佳实践。

一、类型注解基础

类型注解是 Python 3 引入的一项功能，它允许程序员为函数的参数和返回值指定预期类型。以下是一个简单的类型注解示例：

def add_numbers(a: int