附言：为了更好地说明我在寻找什么，请查看这个库：
https://github.com/vriad/zod它允许你在设计和编译时定义类似于 spec 的模式，这些模式也可以被 TS 编译器理解和使用。
// spec 定义 - 在 TypeScript 编译后存在，可以用于验证模式
const dogSchema = z.object({
name: z.string(),
neutered: z.boolean(),
});
// 在运行时验证模式
const cujo = dogSchema.parse({
name: 'Cujo',
neutered: true,
}); // 通过，返回 Dog
// TypeScript 类型定义 - 在 TypeScript 编译后不存在
type Dog = z.infer<typeof dogSchema>;
/*
等价于
类型 Dog = {
name: string;
neutered: boolean;
}
*/
// 使用推断类型进行编译时类型检查和设计时智能感知
const fido: Dog = {
name: 'Fido',
}; // TypeError: 缺少所需的属性 `neutered`
