#类型系统

satisfies 解决了什么问题：一次类型收窄的实战

类型标注会丢掉字面量信息，as 会跳过检查，satisfies 是唯一「既校验又保留」的写法。用一个配置对象的例子说清楚三者区别。