Dobře, měl jsem tři vědce, kteří pracovali celou noc na třech projektech. Projekt 1: Plně samostatně hostovaný rustc kompilátor Projekt 2: JavaScript -> Wasm kompilátor Projekt 3: ProofScript, formální ověřovací jazyk podobný TypeScriptu Výsledky jsem ještě plně neověřil, ale stále mi fungují, ale zatím vypadají opravdu slibně. Project 1 vypadá, že má skutečně rustc Wasm kompilátor. Vyžaduje vlastní sysroot, a ráno tam fungoval Rustc, ale ne celý cargo toolchain, a ne hostovací build skripty. Myslím... Pokud to všechno funguje, je to docela působivé, že? Teď ho mám a pracuji na dokončení nákladu a skriptů pro build hostu. Tvrdí, že zatím dokázal kompilovat rust-base64, regex a serde_json s výše uvedenými omezeními. Všichni jsou stále v centru dění, takže jsou to jen předběžná pozorování. Jsem z toho nesmírně nadšený