Comment on Scala: the Case for CorrectnessparentComments−imanaccount24711yExhaustiveness checking on pattern matches is a big thing that helps with correctness though, so it seems like it should have been in his list.
Comments
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.