编译时检查

静态类型系统是一种编程语言，它在编译时检查变量的类型，以确保它们与声明的类型匹配。这有助于防止运行时错误，因为它们可以在编译时捕获。静态类型系统还可以帮助程序员更好地理解代码，因为它们可以提供有关变量类型的信息。