Is “const correctness” a good goal?
Declaring the “constness” of a parameter is just another form of type safety. It is almost as if a constant String, for example, “lost” its various mutative operations. If you find type safety helps you get systems correct (especially large systems), you’ll find const correctness helps also. Short answer: yes, const correctness is a good goal.