TypeScript 团队发布了TypeScript 3.5，该版本包括了类型检查性能的改进和一个新的 Omit 类型。
TypeScript 3.4 引入了一个新的标识--incremental，该标识保存了上次编译时的项目图信息，这样可以最快地检测到对项目进行的类型检查和变更，从而降低后续的编译时间。TypeScript 3.5 改进了这种方法，TypeScript 项目经理 Daniel Rosenwasser 对此做出如下解释：
为了加速类型检查，并解决 TypeScript 3.4 中引入的一些类型检查性能回归问题，TypeScript 团队重点优化了代码路径和功能，使得 TypeScript 3.5 在进行很多增量检查时比 TypeScript 3.3 更快，不仅编译时间减少，代码自动补全和其他编辑器操作也变的更快。
一个典型的 TypeScript 模式是创建一个省略某些特定属性的新对象。在 TypeScript 3.5 之前，开发人员通常采用组合 Pick 和 Exclude 辅助工具的形式来定义省略模式。TypeScript 3.5 新增了一个 Omit 类型。TypeScript 团队提供的一个示例，该示例展示了 TypeScript 3.5 发布前后如何定义一个不包含 location 属性的 Person 对象的过程。
采用无 Omit 类型的 TypeScript 3.4 实现如下：
type Person = {name: string;age: number;location: string;type RemainingKeys = Exclude<keyof Person, "location">;type QuantumPerson = Pick<Person, RemainingKeys>;// equivalent totype QuantumPerson = {name: string;age: number;采用新增了 Omit 类型的 TypeScript 3.5 的实现如下：
type Omit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>;开发人员可以通过 lib.d.ts 获取 Omit 类型和其他内置辅助类型。
TypeScript 支持对象文本的多余属性检查，当一个类型包含意外属性时，它能检测出错误。在 TypeScript 3.5 之前，允许使用某些多余的属性，比如对象文本上的 name 属性，这是因为非区分联合不会对其成员执行多余属性检查。TypeScript 3.5 会验证所有提供的属性是否属于某个联合成员并具有适当的类型。
TypeScript 3.5 改进了联合类型检查。检查联合类型时，TypeScript 通常会单独比较每个组成类型。TypeScript 3.5 之前，在某些情况下，如果类型定义不够具体，类型检查就会失败。例如，如果一个成员的值是 true 或 false，而另一个成员使用具有相同属性值的 boolean 类型，那么检查就会失败。在 TypeScript 3.5 中，语言现在将类型分解为所有可能类型的联合。因为 boolean 是 true 与 false 的联合，所以现在这个例子就可以成功地进行类型检查了。
TypeScript 3.4 引入了对泛型函数的类型推导。TypeScript 3.5 将其推广到构造函数上。这种对泛型构造函数的新推导允许在某些 UI 库（如 React ）中对类组件进行操作的函数可以更正确地对泛型类组件进行操作。
TypeScript 3.5 中的其他新特性还包括新增了--allowUmdGlobalAccess 标志，它为编辑器提供了一个智能选择 API，以基于语法感知的方式扩展文本选择，并重构将类型抽取出本地类型别名。
TypeScript 3.4 引入了潜在的破坏性变更，下面这些是使用 TypeScript 3.5 新特性的修正结果：
TypeScript 团队已经在开发TypeScript 3.6的特性，3.6 版本中包括对生成器和迭代器的改进，对 ECMAScript 私有类字段的支持，更多的是对编译器、基础设施和编辑器的改进。
TypeScript 社区也在为 10 月 11 日举行的第二次活动做准备，届时 TypeScript 的创始人 Anders Hejlsberg 将发表主题演讲。
TypeScript 是 Apache 2 许可证下可用的开源软件。鼓励大家遵循TypeScript贡献指南和微软开源行为准则在TypeScript GitHub项目上进行贡献和反馈。
原文链接 ：
TypeScript 3.5 Adds Omit Type, Smarter Union Type Checking
