静态类型检查：提高代码质量的强有力工具

静态类型检查是一种在编程语言中广泛使用的工具，旨在提高代码质量和减少潜在的错误。通过在编译时检查变量和表达式的类型，静态类型检查可以捕获常见的错误，例如类型不匹配、未定义的变量和函数调用错误。本文将介绍静态类型检查的概念，并使用一个简单的示例代码来说明其用法和好处。

示例代码：

def add_numbers(a, b):
    return a + b

result = add_numbers(5, "10")