TypeScript 如何为 JavaScript 提供类型安全？

TypeScript 是一种基于 JavaScript 的超集语言，它通过引入静态类型、接口和类型推断等特性，为 JavaScript 提供类型安全。静态类型允许开发人员在编写代码时指定变量、函数参数和返回值的类型，并在编译期间检测到类型错误。这种机制使开发人员能够在开发阶段识别潜在的错误，从而减少运行时错误的发生。接口则允许定义复杂的类型结构和对象形状，以确保遵循特定的设计模式。类型推断有助于在许多情况下自动推测变量的类型，从而简化代码书写和提高代码可读性。总体而言，这些特性显著提高了大型 JavaScript 应用程序的代码质量和可维护性。