https://plumephp.com/tags/%E5%BA%93%E8%AE%BE%E8%AE%A1/Recent content in 库设计 on PlumePHPHugozh-CNMon, 28 Sep 2026 14:00:00 +0800https://plumephp.com/typescript-generic-api-design-performance/Mon, 28 Sep 2026 14:00:00 +0800https://plumephp.com/typescript-generic-api-design-performance/<h2 id="引言">引言</h2> <p>当你为库设计一个「既通用又精确」的泛型 API，或为业务写复杂的条件类型时，会撞上 TypeScript 类型系统的两条铁律：<strong>类型是图灵完备的</strong>（表达力没有上限）与 <strong>类型计算有成本</strong>（每个条件类型的实例化都要消耗编译时间）。设计得好，API 类型安全且检查飞快；设计得差，一行类型让全站编译从 5 秒变 5 分钟。本文将把「类型性能」当作一等工程话题：从泛型约束、条件类型分发到诊断工具与复杂度预算，系统地治理类型计算。</p>