用途：帮助理解 TypeScript 的编译与类型检查是两个独立过程，避免在运行时期待类型存在。
主要事实：tsc 同时做转译与类型检查；类型错误不会阻止生成 JavaScript（类似警告）；interface、type、类型标注和 as 断言在运行时都不存在；class 和非 const enum 在运行时存在。
运行时检查方案：一是属性检查，如用 'height' in shape 收窄类型；二是可辨识联合（推荐），为接口加 kind 字段并用 shape.kind === 'rectangle' 判断；三是改用 class 配合 instanceof。
注意：as 断言不会做值转换，如想转换需写 typeof val === 'string' ? Number(val) : val 之类的运行时代码；外部数据、API 响应或 any 可能导致运行时类型与声明不符；不能按类型做函数重载，需用联合类型加 typeof 分支实现。
限制：资料未提供安装命令、使用步骤、收费信息或平台支持情况。