Oke, saya memiliki tiga ilmuwan yang bekerja sepanjang malam pada tiga proyek. Proyek 1: Kompiler rustc yang sepenuhnya dihosting sendiri Proyek 2: Kompiler JavaScript -> Wasm Proyek 3: ProofScript, bahasa seperti TypeScript verifikasi formal Saya belum sepenuhnya memverifikasi hasilnya, dan saya masih membekerjakannya, tetapi sejauh ini terlihat sangat menjanjikan. Project 1 sepertinya benar-benar memiliki kompiler Wasm rustc. Ini membutuhkan sysroot khusus, dan di pagi hari itu memiliki rustc yang berfungsi tetapi tidak seluruh rantai alat kargo dan bukan skrip build host. Maksud saya... Jika itu semua berhasil, itu cukup mengesankan, bukan? Saya sekarang memilikinya untuk menyelesaikan skrip kargo dan build host. Ia mengklaim telah dapat mengkompilasi rust-base64, regex, dan serde_json sejauh ini dengan keterbatasan di atas. Mereka semua masih dalam hal itu, jadi ini hanya pengamatan awal. Saya sangat bersemangat tentang ini