Okei, minulla oli kolme tiedemiestä töissä koko yön kolmessa projektissa. Projekti 1: Täysin itseisännöity rustc-kääntäjä Projekti 2: JavaScript -> Wasm-kääntäjä Projekti 3: ProofScript, muodollinen verifiointi TypeScript-tyyppinen kieli En ole vielä täysin varmistanut heidän tuloksiaan, ja ne toimivat edelleen, mutta ne vaikuttavat tähän asti todella lupaavilta. Projekti 1 näyttää siltä, että siinä on todella rustc-Wasm-kääntäjä. Se vaatii mukautetun sysrootin, ja aamuisin Rustc toimii, mutta ei koko rahtityökaluketjua eikä host-build-skriptejä. Tarkoitan... Jos kaikki toimii, se on aika vaikuttavaa, eikö? Minulla on nyt se työstämässä cargo- ja isäntärakennusskriptien viimeistelyä. Se väittää pystyneensä kääntämään rust-base64:n, regexin ja serde_json:n tähän asti edellä mainituilla rajoituksilla. He ovat kaikki vielä keskellä tilannetta, joten nämä ovat vain alustavia havaintoja. Olen tästä todella innoissani