TypeScript 是一种通过添加类型和类型检查构建在 JavaScript 之上的语言。类型可以描述诸如对象的形状、如何调用函数以及属性是否可以为 null 或 undefined 之类的东西。TypeScript 可以检查这些类型，以确保我们不会在程序中出错，这样我们就可以自信地编码。它还可以为编辑器中的自动完成、转到定义和重构等其他工具提供支持。事实上，如果您使用过 Visual Studio 或 VS Code for JavaScript 等编辑器，您其实已经体验过由 TypeScript 提供的支持了！
satisfies 运算符
TypeScript 开发人员经常面临两难境地：我们既要确保某些表达式匹配某些类型，又要保留该表达式的最具体类型以用于推理目的。
新的 satisfies 运算符让我们验证表达式的类型是否匹配某种类型，而不更改该表达式的结果类型。例如，我们可以使用 satisfies 来验证 palette 的所有属性是否与 string | number[] 兼容：
type Colors = "red" | "green" | "blue";
type RGB = [red: number, green: number, blue: number];
const palette = {
red: [255, 0, 0],
green: "#00ff00",
bleu: [0, 0, 255]
// ~~~~ The typo is now caught!
} satisfies Record;
// Both of these methods are still accessible!
const redComponent = palette.red.at(0);
const greenNormalized = palette.green.toUpperCase(); 使用 in 运算符缩小未列出属性的范围
作为开发人员，我们经常需要处理在运行时不完全已知的值。事实上，我们通常不知道属性是否存在，无论我们是从服务器获得响应还是读取配置文件。JavaScript 的 in 运算符可以检查对象上是否存在属性。
以前，TypeScript 允许我们缩小任何未明确列出属性的类型的范围。
interface RGB {
red: number;
green: number;
blue: number;
}
interface HSV {
hue: number;
saturation: number;
value: number;
}
function setColor(color: RGB | HSV) {
if ("hue" incolor) {
// 'color' now has the type HSV
}
// ...
}在这里，RGB 类型没有列出色调并缩小范围，留给我们的是 HSV 类型。
TypeScript 4.9 使 in 运算符在缩小未列出属性的类型时更加强大。该语言不会按原样保留它们，而是将它们的类型与 Record<"property-key-being-checked", unknown> 相交。
interface Context {
packageJSON: unknown;
}
function tryGetPackageName(context: Context): string | undefined {
const packageJSON = context.packageJSON;
// Check to see if we have an object.
if (packageJSON && typeof packageJSON === "object") {
// Check to see if it has a string name property.
if ("name" in packageJSON && typeof packageJSON.name === "string") {
// Just works!
return packageJSON.name;
}
}
return undefined;
}TypeScript 4.9 还加强了一些关于如何使用 in 的检查，确保左侧可分配给类型 string | number | symbol，右侧可分配给对象。这有助于检查我们是否使用了有效的属性键，而不是不小心检查基元。
自动访问器
TypeScript 4.9 支持 ECMAScript 中即将推出的功能，称为自动访问器。自动访问器的声明就像类的属性一样，除了它们是用 accessor 关键字声明。
class Person {
accessor name: string;
constructor(name: string) {
this.name = name;
}
}检查 NaN 是否相等
JavaScript 开发人员的一个主要难题是使用内置的相等运算符检查值 NaN。对于某些背景，NaN 是一个特殊的数值，代表“不是数字”。没有什么能等于 NaN——即使是 NaN！但至少对称，一切总是不等于 NaN。
严格来说，这不是特定于 JavaScript 的问题，因为任何包含 IEEE-754 浮点数的语言都具有相同的行为。但是 JavaScript 的主要数字类型是浮点数，而 JavaScript 中的数字解析通常会导致 NaN。反过来，检查 NaN 最终变得相当普遍，正确的方法是使用 Number.isNaN——但正如我们提到的，很多人不小心最终使用 someValue === NaN 进行检查。
TypeScript 现在与 NaN 直接比较时会出错，并且会建议使用 Number.isNaN 的一些变体。
function validate(someValue: number) {
return someValue !== NaN;
// ~~~~~~~~~~~~~~~~~
// error: This condition will always return 'true'.
// Did you mean '!Number.isNaN(someValue)'?
}我们认为，此更改应该严格有助于捕获初学者错误，类似于 TypeScript 当前在与对象和数组文字进行比较时发出错误的方式。
File-Watching 使用文件系统事件
在 TypeScript 4.9 中，文件监视默认由文件系统事件提供支持，只有在我们未能设置基于事件的监视程序时才会回退到轮询。对于大多数开发人员来说，当以 --watch 模式运行或使用 TypeScript 支持的编辑器（如 Visual Studio 或 VS Code）运行时，这应该会提供更少的资源密集型体验。
文件监视的工作方式仍然可以通过环境变量和 watchOptions 进行配置。一些编辑器如 VS Code 可以独立支持 watchOptions。使用源代码驻留在网络文件系统（如 NFS 和 SMB）上的更奇特设置的开发人员可能需要选择回到旧行为。不过，如果服务器具有合理的处理能力，则启用 SSH 并远程运行 TypeScript 可能会更好，这样它就可以直接访问本地文件。VS Code 有很多远程扩展来简化这件事。
编辑器的“Remove Unused Imports”和“Sort Imports”命令
在 TypeScript 4.3 中，我们引入了一个名为“Sort Imports”的命令，它只会对文件中的导入进行排序，但不会删除它们——并且会像这样重写文件。
import { bar, foo } from "./helper";
import { HoneyBadger, Moose, Zebra } from"./zoo";
let x: Moose | HoneyBadger = foo();“Sort Imports”的警告是，在 Visual Studio Code 中，此功能仅可用作保存时命令，而不是可手动触发的命令。
TypeScript 4.9 增加了另一半，现在提供了“Remove Unused Imports”。TypeScript 现在将删除未使用的导入名称和语句，但会单独保留相对顺序。
import { Moose, HoneyBadger } from"./zoo";
import { foo } from "./helper";
let x: Moose | HoneyBadger = foo();所有希望使用任一命令的编辑器都可以使用此功能；但值得注意的是，Visual Studio Code（1.73 及更高版本）将内置支持，并将通过其命令面板显示这些命令。