泛型不是语法糖，而是编译期门禁——它把类型混乱从运行时拉回编译期，让编译器替你问一句：这个类型真的该进来吗？
每次 json.Unmarshal 产生 23 次堆分配——用实测数据算清 GC、分配、初始化三笔账，追踪 v2 怎么还、sonic/jsoniter/easyjson 怎么转嫁，给出按场景选型的决策框架。
三种限流算法的教科书定义和生产实现存在系统性偏离——Nginx 不是纯漏桶、滑动窗口的精确性有内存代价、令牌桶在分布式下并不简单。理解偏离才能从面试答案走到生产选型。
从 PHP 到 Go 的迁移，本质不是语法切换，是复杂度归属变化——错误、副作用、状态从运行时和框架兜底里，被搬到类型、错误返回、测试和审查里。一组对照实验 + 迁移 PR 评审现场 + 五点判断框架，告诉你迁移真正完成的标志。
包管理器不只是下载工具，它要回答三个更难的问题：版本谁决定、来源谁证明、构建如何复现。安装层解决「拿到包」，快照层让依赖树可审查，协议层规定信任边界。lock diff 不是噪音，是构建输入的审计记录。
并发模型不是 CSP / Actor / 线程谁更先进，而是在状态归谁、等待归谁、失败归谁三件事上做不同责任分配。用同一个任务编排器横切 Go / Erlang / Java，看责任如何在代码表面落位。
用 Go 1.17、1.18 和 1.26 实测 slice 扩容曲线，解释旧公式为什么会在 1024 附近断裂，以及 1.18 真正修掉了什么。
Go map 不线程安全和并发写触发 fatal 不是两件事，是同一个设计取舍的两面：默认不替你付锁成本，但发现 map 状态无法安全背书时也不允许程序假装还能恢复——这是一条数据可信度红线。
Go reflect API 故意冗长、Rust unsafe 强制签名、Java JPMS 迁移繁琐——语言设计者通过"让坑变显眼"保护开发者。用三特征框架判断什么是好摩擦力：错误路径变丑、正确路径简洁、认知提升。
DDD 的真正门槛不是业务够不够复杂，而是你的团队愿意为领域模型的纯洁性付出多少工程成本。用代码实验量化隐性成本，给你一个 break-even 决策框架。
