Microsoft rewrote Q# compiler in Rust