文章介绍了一种优化TypeScript类型检查性能的方法,作者称之为“BAM”方法,包括分支、调整和测量三个步骤。文章以EdgeDB查询构建器为例,详细讲解了如何使用--extendedDiagnostics和--generateTrace等工具测量类型检查性能,并使用@arktype/attest包进行基准测试。作者还分享了一些通用的优化建议,例如使用接口而不是交叉类型、命名条件类型、将昂贵的类型移入泛型以及条件顺序的影响等。