Okay, ich hatte drei Wissenschaftler, die die ganze Nacht an drei Projekten gearbeitet haben. Projekt 1: Vollständig selbstgehosteter rustc-Compiler Projekt 2: JavaScript -> Wasm-Compiler Projekt 3: ProofScript, eine formale Verifikationssprache ähnlich TypeScript Ich habe ihre Ergebnisse noch nicht vollständig überprüft, und ich lasse sie weiterhin arbeiten, aber sie sehen bisher wirklich vielversprechend aus. Projekt 1 sieht so aus, als hätte es tatsächlich einen rustc Wasm-Compiler. Es erfordert ein benutzerdefiniertes sysroot, und am Morgen hatte es rustc am Laufen, aber nicht die gesamte Cargo-Toolchain und keine Host-Bau-Skripte. Ich meine... wenn das alles funktioniert, ist das doch ziemlich beeindruckend, oder? Ich arbeite jetzt daran, mit Cargo und den Host-Bau-Skripten fertig zu werden. Es behauptet, bisher in der Lage gewesen zu sein, rust-base64, regex und serde_json mit den oben genannten Einschränkungen zu kompilieren. Sie sind alle noch mitten drin, also sind das nur vorläufige Beobachtungen. Ich bin extrem aufgeregt darüber.