Oké, ik had drie wetenschappers die de hele nacht aan drie projecten werkten. Project 1: Volledig zelf-gehoste rustc compiler Project 2: JavaScript -> Wasm compiler Project 3: ProofScript, een formele verificatie TypeScript-achtige taal Ik heb hun resultaten nog niet volledig geverifieerd, en ik heb ze nog steeds aan het werk, maar ze zien er tot nu toe echt veelbelovend uit. Project 1 lijkt echt een rustc Wasm compiler te hebben. Het vereist een aangepaste sysroot, en 's ochtends had het rustc werkend, maar niet de hele cargo toolchain en niet de host build scripts. Ik bedoel... als dat allemaal werkt, is het best indrukwekkend, toch? Ik heb het nu werkend om af te ronden met cargo en de host build scripts. Het beweert tot nu toe rust-base64, regex en serde_json te hebben kunnen compileren met de bovenstaande beperkingen. Ze zijn allemaal nog steeds druk bezig, dus dit zijn slechts voorlopige observaties. Ik ben extreem enthousiast over dit.