简述什么是TypeScript ？
TypeScript是一种由Microsoft开发和维护的开源编程语言。它是JavaScript的一个超集，意味着它扩展了JavaScript的功能，包括添加了类型系统和对ES6+的新特性的支持。TypeScript的设计目标是帮助开发者捕捉代码中的错误，通过在编译阶段进行类型检查来实现这一点。这可以提高代码的质量和可维护性，特别是在开发大型的或者是多人协作的项目时。
TypeScript的核心优势之一是它的可选静态类型系统。开发者可以为变量、函数的参数、返回值等声明类型，但这并不是强制的。这意味着你可以逐步地将一个JavaScript项目迁移到TypeScript，而不需要一开始就重写所有东西。此外，TypeScript的类型系统是非常强大和灵活的，支持包括基础类型（如字符串、数字和布尔值）、枚举、接口、类、数组、元组以及联合类型和交叉类型等高级类型。
下面是一个简单的TypeScript示例，展示了如何声明变量的类型：
let isCompleted: boolean = false; // 声明一个布尔类型的变量
function greet(name: string): void {
console.log("Hello, " + name + "!");
}
greet("Alice"); // 正确
greet(42); // 错误，TypeScript编译时会报错，因为42不是一个字符串
在这个例子中，我们定义了一个布尔类型的变量isCompleted和一个接受字符串参数的函数greet。如果尝试用非字符串类型的参数调用greet函数，TypeScript编译器将会提示类型错误。这就是TypeScript如何帮助开发者在代码运行之前就捕捉到潜在的错误。