30、TypeScript：类型检查、单元测试与编译器性能优化

TypeScript：类型检查、单元测试与编译器性能优化

1. 环境建模与类型检查基础要点

在编写代码时，要记住以下几点：
- 代码运行于特定环境，若能为该环境创建精确的静态模型，TypeScript 就能更好地检查代码。
- 对与代码一同加载到网页上的全局变量和库进行建模。
- 确保类型声明与所使用的库及运行时环境版本匹配。
- 可使用多个 tsconfig.json 文件和项目引用，在单个项目中对不同环境（如客户端和服务器）进行建模。

2. 类型检查与单元测试的关系

在软件开发中，常有人认为采用 TypeScript 就能删除大部分单元测试，或者觉得添加类型并无意义，因为仍需编写单元测试。实际上，这两种观点都过于极端。

2.1 示例：加法函数的测试与类型检查

考虑一个简单的加法函数：

/** Returns the sum of the two numbers. */
function add(a, b) {
  // implementation omitted
}

为其编写单元测试：

test('add', () => {
  expect(add(0, 0)).toEqual(0);
  expect(add(123, 456)).toEqual(579);
  expect(add(-100, 90)).toEqual(-10);