No, they're not. And I wouldn't say it's writing it like Rust; rather, it's writing it like you can sleep at night. These concepts weren't born in Rust, they were born in functional languages and category theory and they're all about making sure you don't get away with sloppy code and billion-dollar mistakes[0].

[0]: https://en.wikipedia.org/wiki/Tony_Hoare#Apologies_and_retra...