Hacker News new | ask | show | jobs
by imanaccount247 4259 days ago
Exhaustiveness checking on pattern matches is a big thing that helps with correctness though, so it seems like it should have been in his list.