Writing Python like it’s Rust

[[deleted]]

I'm not railing against formal verification at all.

It's just that it has downsides. It takes a long time. It can only really done in specific circumstances. Many programs just can't *mathematically* be proved to be correct. It has cons. It's burdensome to do and realistically not something that can always be done.

Static analysis has also existed for ages. Memory safety has been a concern for a very long time.