# Anders Hejlsberg 风格指南 ## 概述 Anders Hejlsberg 创建了 Turbo Pascal（当时最快的编译器）、Delphi（具有本机编译的 RAD）、C#（具有现代功能的托管语言）和 TypeScript（大规模类型化 JavaScript）。他的职业生涯跨越了四十年，致力于通过语言和工具创新提高开发人员的工作效率。 ## 核心理念 > “一种语言的好坏取决于它的工具。” > “类型应该帮助你，而不是妨碍你。” > “最好的类型系统是能够理解现有代码的类型系统。” Hejlsberg 相信语言的存在是为了服务开发人员——提高他们的工作效率、发现他们的错误并提供出色的工具。 ## 设计原则 1. **开发人员生产力第一**：每个功能都应该让开发人员更快。 2. **逐步采用**：在开发人员所在的地方与他们会面。 3. **IDE 驱动设计**：从第一天起就考虑使用工具。 4. **实用类型系统**：与真实代码一起使用的类型，而不是反对它。 ## 设计语言时 ### 总是 * 考虑每个功能的 IDE 体验 * 为边缘情况提供逃生舱口 * 逐步采用类型安全 * 使常见模式变得简单 * 工具设计（完成、重构、导航） * 保持向后兼容性 ### 从来没有 * 为了类型纯度而牺牲开发者体验 * 从第一天起就需要完整的类型覆盖 * 破坏现有代码而无需迁移路径 * 无法工具化的设计功能 * 忽略现有代码的生态系统 * 让简单的事情变得冗长 ### 更喜欢 * 结构类型优于名义类型（为了灵活性） * 通过显式注释进行类型推断 * 逐步打字，全有或全无 * 组合优于继承 * 通过回调进行异步/等待 * 零安全性，不冗长 ## 代码模式 ### 结构类型 (TypeScript) // TypeScript：结构类型以实现灵活性 // 类型是形状，而不是名称接口点{ x：数字； y：数字； } 函数距离（p1：点，p2：点）：数字{ 返回 Math.sqrt((p2.x - p1.x) ** 2 + (p2.y - p1.y) ** 2); } // 任何具有 x 和 y 的对象都可以常量 a = { x: 0, y: 0 }; const b = { x: 3, y: 4, 标签: "目标" }; // 额外的属性 OK 距离（a，b）； // 有效！两者都匹配 Point 的形状 // 这允许输入现有的 JavaScript 代码 // 无需更改 ### 联合类型和类型防护 // 联合：表示可以是多种类型的值输入结果 = | { 成功：真实；值：T} | { 成功：假；错误：字符串}；函数过程（结果：结果）：T |空{ // 类型缩小：编译器跟踪我们所处的分支 if (结果.成功) { // TypeScript 知道：result.value 存在于此处返回结果.值； } 否则{ // TypeScript 知道：这里存在 result.error 控制台.错误(结果.错误); 返回空值； } } // 状态机的可区分联合输入状态 = | { 状态：“空闲” } | { 状态：“加载中” } | { 状态：“成功”；数据：字符串} | { 状态：“错误”；消息：字符串}；函数渲染（状态：状态）：字符串{ 开关（状态.状态）{ 情况“空闲”：返回“就绪”； case“正在加载”：返回“正在加载...”；案例“成功”：返回state.data； // 可用数据情况“错误”：返回state.message； // 消息可用 } } ### 有约束的泛型 // 适用于真实模式的泛型 // 约束以确保属性存在函数 pluck(items: T[], key: K): T[K][] { 返回 items.map(item => item[key]); } 常量用户 = [ { 姓名：“爱丽丝”，年龄：30 }， { 姓名：“鲍勃”，年龄：25 } ]; const 名称 = pluck(用户, "名称"); // 字符串[] const 年龄 = pluck(用户, "年龄"); // 数字[] // 拔取（用户，“foo”）； // 错误：“foo”不在用户中 // 映射类型：变换类型形状类型只读 = { 只读 [P in keyof T]: T[P]; }; 类型部分 = { [T 调中的 P]?: T[P]; }; 类型必需 = { [T 调中的 P]-?: T[P]; }; // 条件类型：计算类型类型 NonNullable = T 扩展 null |不明确的？从来没有：T； type ReturnType = T extends (...args: any[]) => 推断 R ？ R：从不； ### 异步/等待（C# 创新） // C#：Hejlsberg 团队首创的 async/await // 读起来像同步的异步代码公共异步任务 <用户> GetUserWithOrdersAsync(int userId) { // 每个等待都会产生控制权，准备好后恢复 var user = wait _userRepository.GetByIdAsync(userId); 如果（用户==空）返回空值； // 并行异步操作 var orderTask = _orderRepository.GetByUserAsync(userId); var optionsTask = _preferenceRepository.GetAsync(userId); 等待任务.WhenAll(ordersTask,preferencesTask); 用户.订单=订单任务.结果; 用户.首选项=首选项Task.Result; 返回用户； } // 编译器将其转换为状态机 // 开发人员编写线性代码，获取异步行为 ### LINQ：语言集成查询 // LINQ：集成到语言中的查询语法 // 类型安全、可组合、与提供者无关 var results = 来自用户中的用户其中 user.Age >= 18 按用户名排序选择新的{用户名，用户电子邮件}； // 方法语法（等效） var 结果 = 用户 .Where(u => u.Age >= 18) .OrderBy(u => u.Name) .Select(u => new { u.Name, u.Email }); // 适用于任何数据源 var dbResults = 来自 db.Orders 中的订单将客户加入 db.Customers on order.CustomerId 等于 customer.Id 订单总数 > 1000 选择新的{客户.名称，订单.总计}； // 延迟执行：查询构建表达式树 // 枚举结果时执行 ### 零安全无痛苦 // C# 可空引用类型：渐进式空安全 // 启用每个文件或每个项目 #可空启用公共类用户服务 { // 不可为空：不能为空公共字符串 GetDisplayName（用户 user） { 返回用户名； // 用户不能为空 } // 可空：明确可能为空公共用户？查找用户（字符串电子邮件） { 返回 _repository.FindByEmail(电子邮件); } // 编译器跟踪空状态公共无效ProcessUser（字符串电子邮件） { var user = FindUser(电子邮件); // 用户名; // 警告：可能为空引用 if (用户！= null) { // 编译器知道这里 user 不为 null Console.WriteLine(用户名); // 好的 } // 空合并运算符 var 名称 = 用户？.名称 ?? “未知”; } } ### 模式匹配的演变 // C# 模式匹配：随版本演变 // 类型模式 if (obj 是字符串 s) { Console.WriteLine(s.Length); } // 使用模式切换表达式 var 描述 = 形状开关 { 圆 { 半径: 0 } => "点", Circle { Radius: var r } => $"半径为 {r} 的圆", 矩形 { 宽度: var w, 高度: var h } 当 w == h => $"正方形 {w}x{w}", 矩形 { 宽度: var w, 高度: var h } => $"矩形 {w}x{h}", _ =>“未知形状” }; // 列表模式 (C# 11) var 结果 = 数字开关 { [] =>“空”， [var single] => $"单：{single}", [varfirst, .., varlast] => $"第一个：{first}，最后一个：{last}", _ =>“其他” }; ### 类型推断正确 // TypeScript：广泛的类型推断 // 从使用中推断出的类型，而不是声明 // 从初始化器推断 const 消息 =“你好”； // 字符串常量计数 = 42； // 数量常量项 = [1, 2, 3]; // 数字[] // 从上下文推断 const doubled = items.map(x => x * 2); // 数字[] // x 是根据 number[] 的项目推断出的数字 // 推断的返回类型函数 createUser(姓名：字符串，年龄：数字) { return { 姓名、年龄、createdAt: new Date() }; } // 返回类型推断为 { name: string;年龄：数字；创建于：日期 } // 通用推理函数第一个（项目：T []）：T |未定义{ 返回项目[0]； } const n = 第一个([1, 2, 3]); // 数量 |未定义 const s = 第一个(["a", "b"]); // 字符串 |未定义 // T 是从参数推断出来的 ### IDE-优先功能设计 // 设计时考虑到 IDE 支持的功能 // 1. 通过类型去定义工作接口用户服务{ getUser(id: string): Promise<用户>; saveUser(用户：用户): Promise; } // Ctrl+单击 getUser 转到接口定义 // 2. 重命名可以安全地进行订单处理器类 { processOrder(order: Order) { // 重命名“order” → 所有用法更新 this.validate(订单); this.save(订单); } } // 3. 完成知道有效选项类型状态=“待处理”| “活跃”| “完全的”; 常量状态：状态=“|” // 自动完成显示：待处理、活动、已完成 // 4. 快速修复提供迁移常量配置= { 名称：“应用程序”， // @ts-expect-error - 输入稍后添加 untyped: someValue, // IDE 建议：添加类型注释 }; ## 语言演化哲学渐进式打字采用路径 ═══════════════════════════════ ═══════════════════════════════ 阶段类型覆盖范围开发者行动 ────────────────────────────────────────────────────────────── 1. 基线 0% 重命名 .js → .ts，编译！ 2. 隐式 20% 向公共 API 添加类型 3. 严格 60% 启用严格的 null 检查 4.完成90%+全覆盖，一切严格关键见解：每个阶段都提供价值没有任何阶段需要重写代码迁移可以逐个文件进行 ## 心理模型 Hejlsberg 通过询问以下问题来进行语言设计： 1. **开发者体验如何？** 功能必须可用 2. **这在 IDE 中如何工作？** 工具是设计的一部分 3. **这可以逐渐采用吗？** 不需要大爆炸重写 4. **这与真实的代码模式匹配吗？** 类型系统应该模拟现实 5. **有逃生出口吗？** 有时类型太严格 ## 海尔斯伯格标志性动作 * **Turbo Pascal 速度**：编译速度如此之快，以至于改变了预期 * **Delphi 的 RAD** ：具有本机性能的视觉设计 * **C# async/await** ：使异步成为主流且可读 * **LINQ** ：集成到语言中的查询语法 * **TypeScript 的结构类型**：大规模 JavaScript 类型 * **逐步打字**：按照您自己的节奏采用 * **可空引用类型** ：无需重写的空安全性 * **映射/条件类型** ：类型级计算

海尔斯伯格语言设计

包含技能