用途：该技能面向 TypeScript 项目，提供一套函数式编程模式，用类型系统编码业务规则，使非法状态无法构造，把错误从运行时提前到编译期。适用于建模状态机、可辨识联合、Result/Option 类型、品牌类型等场景。
主要能力：可辨识联合（和类型）配合穷尽性检查，避免遗漏分支；Option 类型显式表达“值可能缺失”；Result 类型在不使用异常的情况下显式处理可恢复错误；品牌类型与智能构造函数防止单位混淆（如分与元、秒与毫秒）和非法值（如邮箱格式、正数）。资料还给出 assertNever、map/flatMap、getOrElse 等可直接粘贴的辅助函数，以及按领域划分的示例（交易生命周期状态机、配置解析、金额计算）。
使用方式：将资料中的 Option、Result、assertNever、Brand 等辅助代码复制进项目即可开始使用；建议开启 TypeScript 严格模式相关选项（如 strictNullChecks、noImplicitReturns、strictFunctionTypes）。迁移上建议从新功能开始采用，修 bug 时顺带重构，优先处理金融计算与状态机等高风险区域。
适用场景：状态机建模、互斥变体（支付方式、用户角色）、领域模型、以显式状态替代布尔标志、可空值处理、可恢复错误传播、类型安全 ID 与值对象。
限制：资料未提供该技能的安装命令、平台支持、收费或价格信息，暂未提供；示例代码为 TypeScript 片段，需自行集成到项目中。