There is no false dichotomy. There very well is a clear dichotomy. Another person had a similar notion to you and my response to him is more in depth: https://

There is no false dichotomy. There very well is a clear dichotomy. Another person had a similar notion to you and my response to him is more in depth: https://news.ycombinator.com/item?id=21952737 https://news.ycombinator.com/item?id=21952737 In this case the language we designed is assembly. The parameter for success is: less possibility for bugs. Exhaustive type matching is a definitive and logical improvement because it shrinks the codomain of possible erroneous states, thus less bugs.