I don't think anyone is going to make that case, given how lukewarm the response has been in the past, and how lukewarm the response to Rust is now. SPARK is us

I don't think anyone is going to make that case, given how lukewarm the response has been in the past, and how lukewarm the response to Rust is now. SPARK is used extensively in areas much more mission critical than the Linux kernel. One recent area I found it used which is very interesting is in the CoreBoot BIOS firmware. I'd hesitate to call SPARK a heavier language, but I'm not sure that's what you're saying. It's definitely far, far more mature than Rust.