I've seen multiple people pointing this out, but completely ignoring the next se... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Diris on Feb 11, 2022 \| parent \| context \| favorite \| on: Case against OOP is understated, not overstated (2... I've seen multiple people pointing this out, but completely ignoring the next sentence. > I find it much easier to formally verify things correct than to test that they're correct. I don't have anything else to say but I wanted to put it here for context.

rbanffy on Feb 11, 2022 [–]

Tests are also useful as a form of documentation. They explicitly exercise all plausible interfaces the developers expect to be used.

I'm not sure how formally verifying things continue to be correct after a change (which could be to a dependency) can be automated and scaled.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact