简述什么是TypeScript 类型批注 ？
参考答案：
TypeScript 类型批注是一种为函数或变量添加静态类型定义的方式，以便在编译时进行类型检查。类型批注是可选的，可以被忽略，从而使用 JavaScript 的常规动态类型。类型批注可以被导出到一个单独的声明文件，以便让使用类型已被编译为 JavaScript 的 TypeScript 脚本的类型信息可用。当没有给出类型时，TypeScript 编译器会利用类型推断来推断类型。如果由于缺乏声明，没有类型可以被推断出，那么就会被默认为是动态的 any 类型。
在 TypeScript 中，类型注解就是在声明变量的同时，说明该变量的类型。这样做的好处是，一旦为变量添加了类型注解，这个变量的类型就不能发生改变，否则编译会报错，这有助于提高程序的阅读性和维护性。
请注意，类型批注和类型推断是 TypeScript 的两种主要类型检查机制，它们共同协作以提供强大的类型安全性。