好的，我有三位科學家整晚在三個項目上工作。 項目 1：完全自我托管的 rustc 編譯器 項目 2：JavaScript -> Wasm 編譯器 項目 3：ProofScript，一種形式驗證的類 TypeScript 語言 我還沒有完全驗證他們的結果，我仍然讓他們繼續工作，但到目前為止看起來非常有前景。 項目 1 看起來確實有一個 rustc Wasm 編譯器。它需要一個自定義的 sysroot，早上時 rustc 可以工作，但整個 cargo 工具鏈和主機構建腳本還不能使用。 我的意思是……如果這一切都能正常運作，那真的很令人印象深刻，對吧？我現在正在讓它完成 cargo 和主機構建腳本。 它聲稱到目前為止能夠在上述限制下編譯 rust-base64、regex 和 serde_json。 他們仍然在全力以赴，所以這些只是初步觀察。 我對此感到非常興奮。