TypeScript

从结构化类型、收窄和泛型深入到条件类型、型变、运行时边界与公共类型设计。