Dobrze, miałem trzech naukowców pracujących całą noc nad trzema projektami. Projekt 1: W pełni samodzielny kompilator rustc Projekt 2: Kompilator JavaScript -> Wasm Projekt 3: ProofScript, język formalnej weryfikacji podobny do TypeScript Jeszcze nie zweryfikowałem ich wyników w pełni, a oni wciąż pracują, ale jak na razie wyglądają naprawdę obiecująco. Projekt 1 wygląda na to, że rzeczywiście ma kompilator rustc do Wasm. Wymaga niestandardowego sysroot, a rano miał działający rustc, ale nie cały zestaw narzędzi cargo i nie skrypty budowania hosta. Mam na myśli... jeśli to wszystko działa, to całkiem imponujące, prawda? Teraz pracuję nad zakończeniem z cargo i skryptami budowania hosta. Twierdzi, że udało mu się skompilować rust-base64, regex i serde_json jak na razie z powyższymi ograniczeniami. Wszyscy wciąż są w trakcie pracy, więc to tylko wstępne obserwacje. Jestem niezwykle podekscytowany tym.