202209 | 锋芒毕露

Zig VS Rust 火花

在 9/10 号左右，在 Twitter 上牵起了一小波关于 Zig VS Rust 的小火花，以至于最后 Zig 创始人 Andrew Kelley 发推表示 Let us exist。这里稍微整理下这件事情的过程： 本次事件主要涉及两个人：

  • Rust 核心贡献者： Patrick Walton
  • Zig 社区 VP： Loris Cro

时间线

  • 8/26 号，一篇关于 wasm 2 Game Jam 的分析报告中，使用 Zig 的人数最多
  • 9/9 号，这篇报告在 HackerNews 上引起了热烈讨论，其中 Walton 在多处回复中表示 Zig 语言的劣势，并称

    It’s perfectly reasonable to take the position that it’s deeply problematic for a language aiming for wide use in 2022 to not be memory safe. There’s no requirement that you “focus on tradeoffs”, especially since real people get hurt by memory safety problems.

  • Loris 回复到：

    I think you’re actively hurting the project that you care about in your ineffective crusade, but hey, don’t let me stop you.

  • 9/10 号，有人发推对 tigerbeetle 内存分配方式表示好奇：所有内存必须在启动时静态分配好
  • Walton 回复到：

    The weird thing is that this is used as an example of why you supposedly don’t need language-enforced memory safety.

    But that literally is language-enforced memory safety! Just way more restrictive than what Rust has: if you hate the borrow check, try the “no heap” check…

    This is wrong because you can still have UAF from freed stack frames.

  • Loris 针对 Walton 的回复说了句“What a boring, useless take.（原推的回复已经被 Loris 删除了，可以在这里看到历史）：
  • Walton 发推表示在 2022 年，所有语言都应该是内存安全，应该算是『编程语言界的共识』，并称 Zig 是行业的一大退步 😅
  • Loris 专门发了一个 Twitter thread 来阐述『软件的目标不仅仅是内存安全，更重要的是正确』。比如 tigerbeetle 这里提到的。而且即便内存安全，也可能发生 OOM

总结

上面的链接比较多，这里稍微总结下这次争论的问题：

Rust 用户觉得 Zig 不是内存安全的语言，Zig 认为 Rust 的语言过度复杂，这反而会导致程序复杂度挺升，导致程序产生错误行为

使用 Zig 的人大概率也是 Rust 用户，之所以有了安全的 Rust，还来选 Zig，笔者觉得大概率就是本次争论的观点，Rust 过于复杂，导致程序员不仅仅要考虑业务行为，还需要按照 Rust 的风格来编程，这加剧了程序出错的可能性。

观点/教程

项目/工具

Zig 语言更新