Hacker News new | ask | show | jobs
by mgaunard 540 days ago
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.

1 comments

> 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?