On 1/8/2023 10:34 PM, Paulo Pinto wrote:
The best part of memory safe systems programming languages is that many of those tools don't even have to exist, they are part of language semantics!
Exactly! I once annoyed the Coverity folks by telling them that my goal with D was to make Coverity irrelevant.