> Robustness should come from better languages that are safe by construction.
Nahh, robustness comes from the time you can spend refining the product not from some magic property of a language. That can help but just a bit. There was no Swift in Snow Leopard. Nor there is not much Rust in Linux (often none) and even less (none) in one of the most stable OS available, FreeBSD.
They should just release a new version when the product is ready and not when the marketing says to release it.