One more thing to note. From the post:
> In a C application, try as hard as I may, at the end of the day I am always on my own, making sure the invariants I need for memory safety hold. In Rust, I can be 100% confident that I will not have memory-unsafe code. Not 98%-and-I’d-better-check-those-last-2%-really-closely. One hundred percent. That’s a game-changer.
I think if you're always leaning on a compiler for correctness, maybe your problem doesn't reside in the static vs dynamic debate.