好的，我有三位科学家整夜在三个项目上工作。 项目 1：完全自托管的 rustc 编译器 项目 2：JavaScript -> Wasm 编译器 项目 3：ProofScript，一种形式化验证的类似 TypeScript 的语言 我还没有完全验证他们的结果，他们仍在继续工作，但到目前为止看起来非常有前景。 项目 1 看起来确实有一个 rustc Wasm 编译器。它需要一个自定义的 sysroot，早上时 rustc 可以工作，但整个 cargo 工具链和主机构建脚本还不能使用。 我的意思是……如果这一切都能正常工作，那真的很令人印象深刻，对吧？我现在正在让它完成 cargo 和主机构建脚本。 它声称到目前为止能够在上述限制下编译 rust-base64、regex 和 serde_json。 他们仍在全力以赴，所以这些只是初步观察。 我对此感到非常兴奋。