第5章 我的编程语言简史
从语言被分成简单的高低等级走到按语义与工程约束选择工具，沿任务、类型、运行时、工具链和取舍比较编程语言。
学习目标
- 能沿定义任务、比较语义、检查运行时、评估工具链和测量取舍完成一次语言选型
- 能解释语法、类型、内存模型、运行时和生态如何共同影响同一任务的工程结果
- 能在正常、边界和故障场景中回答：单点微基准或个人语法偏好为什么不能证明某语言在所有场景更优
为什么需要这一机制
本页依据刘欣《码农翻身》（2018 年第 1 版）及出版社公开书目信息，独立重构 第5章 我的编程语言简史。正文、代码、图示、实验和练习都是本课程重新设计的教学材料，不复制原书正文、插图、练习答案或代码。
第5章 我的编程语言简史 不能停在“语言有高低之分”。真实系统要解决的变化是从 语言被分成简单的高低等级 到 按语义与工程约束选择工具；可执行机制是：编程语言用语法、类型、内存模型、运行时和工具链表达不同取舍，比较必须基于同一任务和约束。
三个会让语言比较失真的陷阱
一个目录节点到语言选择证据
第5章 我的编程语言简史
在 ↡用同一任务、团队、运行时和生态约束比较编程语言取舍，而不是给语言排固定等级的工程方法。 中，选择函数可以写成
它不是计算机自动替你选语言，而是提醒我们选择变量必须显式。语法、类型、内存模型、运行时、工具链和生态共同决定成本；任务和约束改变，结论也应随之改变。
定义任务
↡明确输入输出、数据规模、延迟、可靠性、部署、团队和维护期限等评价约束的阶段。先回答要优化什么。没有任务合同，任何语言比较都只能是口号。
比较语义
↡比较语言的类型、并发、错误、内存和模块语义如何表达并约束同一任务的行为。关注可证明的行为和失败模式。语法短不代表错误边界清楚，类型强也不自动代表运行时成本更低。
检查运行时
↡评估编译、解释、垃圾回收、内存、启动、并发、I/O和目标平台等执行时约束的阶段。把源码选择连接到真实部署。要记录延迟分布、资源峰值、启动、升级和故障恢复，而不是只看平均速度。
评估工具链
↡检查编译、测试、调试、依赖、构建、发布、观测和安全维护工具是否支持项目生命周期的阶段。关注团队能否持续交付。没有可用调试器、包管理、漏洞响应和构建支持，语言优势可能无法落地。
测量取舍
↡在相同任务和约束下用代表性负载与多维指标记录性能、可靠性、成本和维护之间的权衡。才能把偏好变成决策。每个指标都要写样本、环境、误差、权重和未测范围，避免把局部领先外推成普遍结论。
最小可重放实现
task = define(problem, constraints)
semantic = compare_semantics(task, candidates)
runtime = measure_runtime(task, candidates, representative_load)
tooling = evaluate_toolchain(task, candidates)
decision = record_tradeoffs(task, semantic, runtime, tooling)这段实现草图只表达语言选型合同，不复制原书叙事或代码。实际运行时应保存任务、候选版本、环境、负载、指标、工具链、权重、未测范围和复位结果，使另一位读者能够从干净状态重放。
五步复核一次语言选择
1. 定义任务与约束
记录输入输出、规模、延迟、可靠性、平台、团队、上线期限和维护周期。先预测哪些指标会决定选择，再避免用语言标签替代问题定义。
Lab
编程语言选型与测量取舍实验
先预测约束改变会影响哪条指标，再切换匹配、边界和偏好外推样本并重置。
相同任务与负载下，多维指标支持带权决策
task=fixed → semantics=recorded → runtime=measured → tooling=checked → tradeoff=explicit
判定
accept：结论与约束绑定
当前样本：约束匹配；保存任务、候选版本、负载、环境、语义、运行时指标、工具链、权重和复位轨迹。
正常、边界与故障证据矩阵
| 样本 | 只改变的变量 | 预期判定 | 必存证据 |
|---|---|---|---|
| 正常 | 任务、约束、候选和环境固定 | 多维指标支持可解释选择 | 任务、语义、运行时、工具链、权重 |
| 边界 | 规模、平台、团队或可靠性要求改变 | 结论按约束变化并保留风险 | 边界、指标、误差、未测范围 |
| 故障 | 只用微基准或语法偏好外推 | 拒绝普遍优劣结论 | 负载、环境、测量方法、反例 |
故障诊断：先分开任务、语义与测量
- 任务侧：查输入、输出、规模、延迟、可靠性、平台和维护期限；没有约束就没有可比较问题。
- 语义侧：查类型、并发、错误、内存和模块行为；语法短不等于失败边界清晰。
- 运行时侧：查版本、负载、尾延迟、内存、启动、I/O和恢复；平均吞吐不能代表完整体验。
- 工具链侧：查构建、测试、调试、依赖、部署、观测和安全维护；生态成本要进入决策记录。
如果微基准结论与线上不符，先比较负载和环境；如果团队难以维护，查工具链和学习成本；如果语言语义漂亮但运行时不满足约束，重新调整权重而不是给语言贴等级。每次只改变一个约束，并重放基线。
术语表
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 第5章 我的编程语言简史
用同一任务、团队、运行时和生态约束比较语言取舍的工程方法。
- 定义任务
明确输入输出、规模、延迟、可靠性、部署、团队和维护期限的阶段。
- 比较语义
比较类型、并发、错误、内存和模块语义如何表达同一任务的行为。
- 检查运行时
评估执行时的编译、内存、启动、并发、I/O、平台和恢复约束。
- 评估工具链
检查构建、测试、调试、依赖、发布、观测和安全维护能力。
- 测量取舍
在相同任务和约束下用代表性负载与多维指标记录工程权衡。
练习
练习
问题 1（第5章 我的编程语言简史）： 为什么不能给编程语言排一个脱离任务的固定高低等级？
问题 2（定义任务、比较语义、检查运行时）： 两种语言完成同一服务时，比较实验至少要固定和测量什么？
问题 3（评估工具链、测量取舍）： 语言 A 的微基准更快，但调试和依赖维护成本更高，如何记录选择？
本页小结
第5章 我的编程语言简史 的关键不是给语言排等级，而是把任务、语义、运行时、工具链和测量取舍放进同一份决策证据。完成标准是拒绝个人偏好或单点微基准的普遍结论，并证明复位后同一任务可以重放和解释。