Re:Rust Is Hard, Or: The Misery of Mainstream Programming
by adev_ on Friday June 03, 2022 @04:03AM
(#31605512)
> 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.
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.