Nice insight of why #Rust exists - less about memory safety, but to crash on undefined behaviour:

> For it to be able to check your code, it has to understand what your code will do at run-time. And so Rust has an expressive type system and a menagerie of traits that allow you to express, to the compiler, what in another language would just be the apparent run-time behavior of your code.

https://sinclairtarget.com/blog/2025/08/thoughts-on-go-vs.-rust-vs.-zig/

I really like that expressivity in Rust!