D'accord, j'ai eu trois scientifiques travaillant toute la nuit sur trois projets. Projet 1 : Compilateur rustc entièrement auto-hébergé Projet 2 : Compilateur JavaScript -> Wasm Projet 3 : ProofScript, un langage de vérification formelle similaire à TypeScript Je n'ai pas encore entièrement vérifié leurs résultats, et je les ai encore en train de travailler, mais ils semblent vraiment prometteurs jusqu'à présent. Le projet 1 semble vraiment avoir un compilateur rustc pour Wasm. Il nécessite un sysroot personnalisé, et ce matin, il avait rustc fonctionnant mais pas l'ensemble de la chaîne d'outils cargo et pas de scripts de construction hôte. Je veux dire... si tout cela fonctionne, c'est plutôt impressionnant, non ? Je travaille maintenant à terminer avec cargo et les scripts de construction hôte. Il prétend avoir pu compiler rust-base64, regex et serde_json jusqu'à présent avec les limitations ci-dessus. Ils sont tous encore en plein dedans, donc ce ne sont que des observations préliminaires. Je suis extrêmement excité à ce sujet.