4 ms·
I think you're striking a false dichotomy between "logic" and "art" here. Programming languages are abstractions created by abstract creatures (/hello/). You si
by chaorace 7y 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.
- crimsonalucard 7y agoThere 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.