News for hackers. Stuff that matters.

A comment on Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches. Parent comment

Re:Borrow Checking, RC, GC, and Eleven Other Memory Safety A... by mgaunard on Friday December 20, 2024 @06:59AM (#42470374)
It takes a lot more for a program to be correct than having valid bit patterns.

To begin with, the whole point of classes is to maintain invariants. Guaranteeing that a location in memory matches the valid bit patterns of its members is far from sufficient.

[ Parent | on HN ]
Re:Borrow Checking, RC, GC, and Eleven Other Memory Safety A... by IshKebab on Friday December 20, 2024 @08:37AM (#42470950)
> It takes a lot more for a program to be correct than having valid bit patterns.

Obviously. I never said otherwise. What's your point?

[ Parent | on HN ]