标签: #static-analysis

한국어English日本語中文

← 全部文章

• AI 代码评审到底能不能用 — 测量证据揭示的准确率与误报

  AI 代码评审工具的营销话术里充斥着「80% 的 PR 不需要人类评论」这样的数字，但真正把精确率和误报率一起公开的地方几乎没有。把公开的测量结果收集起来看，方向大体一致 — 在开源 PR 上，AI 评审评论真正带来代码变更的比例因工具而异，只有 0.9～19.2%，远低于人类评论的 60%(Gan 等，GitHub Actions 16 款·仓库 178 个·评论 22,326 条)。而在一家把评论解决写进政策强制执行的企业案例里，同

  2026-07-17 · 38 分钟阅读 #ai#code-review#static-analysis#evaluation#software-engineering

• Elixir 1.20 的渐进类型系统 — 不写注解也能找到"已验证 bug"，实际是怎么回事

  2026年6月3日发布的 Elixir v1.20，完成了始于2022年的集合论类型系统的第一个里程碑。现在所有 Elixir 程序无需写一行类型注解就能被渐进式类型检查，编译器在守卫、函数体、分支之间推断类型，找出"一旦执行就必定在运行时炸掉"的违规和死代码。核心是 dynamic() 类型：和其他语言里 any() 会丢弃类型信息不同，Elixir 的 dynamic() 表现得像一个范围，会随代码收窄，只有当提供的类型与允许的类型

  2026-07-16 · 27 分钟阅读 #elixir#type-system#beam#compiler#static-analysis