On: Scala: the Case for Correctness

[imanaccount247]

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.