TypeScript 是一种由微软开发的开源静态类型检查的编程语言，它是 JavaScript 的超集，这意味着任何有效的 JavaScript 代码也都是有效的 TypeScript 代码。