> getting a mechanical check on memory safety for the price of some extra language verbosity is obviously worth it IMO
But a GC'd language doesn't require the extra verbosity.
But a GC'd language doesn't require the extra verbosity.
"As a developer tool" is doing some work in that sentence though. As a language implementation characteristic, the checker can help inform (or, more accurately, ensures that code is written in a way that informs) memory management decisions.
It certainly has a price but it is waaay too overblown in many discussions. What it mostly does entail is a slightly larger p99 latency. Where it actually matters is entirely another question.