|
|
|
|
|
|
by chaorace
2355 days ago
|
|
|
I think you're striking a false dichotomy between "logic" and "art" here. Programming languages are abstractions created by abstract creatures (/hello/). You simply can't solve a programming language, because the parameters for success will be just as invented and unmoored from absolutes as the subject in question. |
|
|
Another person had a similar notion to you and my response to him is more in depth: 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.