type-checking-vs-testing

用途：在类型与测试之间做取舍，捕捉逻辑错误，测试边界情况，构建测试套件，以及验证假设。核心原则：用类型在编译期捕捉类型错误，用测试在运行期捕捉逻辑错误与边界情况，二者互补。资料给出的示例显示，类型检查能发现参数类型不匹配（如 add(1, '2') 的编译错误），但无法发现除零等逻辑问题，这类问题需要单元测试（如断言 divide(1, 0) 抛错）。适用场景：类型系统能覆盖的静态约束与运行期行为需分别验证时，依据此技能判断该加测试还是改类型。限制：资料未提供具体安装、调用命令或平台信息，也未说明价格与效果，仅引用《Effective TypeScript》第2版第77条。