Completely agree. This is honestly one of the primary reasons I use the language for, well, just about everything nowadays.
Sure it’s nice that it’s fast. And Python and Java are basically memory safe (core lang) as in you won’t do illegal pointer reads. But the correctness is where it really shines.
Really this is an endorsement of type systems. It doesn’t have to be Rust, but Rust is the only language that’s practical, fast, and very very safe. https://floss.social/@janriemer/115685828485441051