> I find myself reaching for modern C++ instead of Rust when I want to be productive :( You are not the only one, this is also my experience. And if you thin

> I find myself reaching for modern C++ instead of Rust when I want to be productive :( You are not the only one, this is also my experience. And if you think about it: This is fine. There is a reason why we are not using TLA+ or format proofs framework when we want to do quick prototyping: Safety has a cost like everything else. It can be a run-time cost (in case of ARC or GC languages) or a mental effort / productivity cost but it is still a cost.