TS/JS 想逼近 Rust 性能要新语法？scriptc 用类型表达语义换更优 AOT

cramforce · x · 2026-11-10

Bun 作者 jarredsumner 提出：TS/JS 若要达到接近 Rust/C（而非 Go）的性能，很可能需要新语法；Bun AOT 目前设计为对现有代码库即插即用，但后续会提出非破坏性扩展。

cramforce 引用并反驳：他在 scriptc 里的做法是从一些「不改变语义、但表达 TS 无法强制的约束」的类型入手。他认为这比新语法更好——程序仍在 JS VM 里以相同语义运行，但生成的 AOT 代码质量大幅提升。这是一场关于 JS 性能路线（加语法 vs 用类型承载不变量）的实质技术讨论。