4 ms·
Have you heard of Prolog? (Just to mention a single language whose syntax doesn't fall in either category you mentioned. Not that there aren't others.) Also, a
by catnaroek 11y ago
Have you heard of Prolog? (Just to mention a single language whose syntax doesn't fall in either category you mentioned. Not that there aren't others.)
Also, as someone who studies mathematics for fun, I disagree with your statement that a mathematician would love a system with lots of special cases. If anything, mathematicians are willing to pay a higher abstraction tax than most other people, just to unify special cases.
- groovy2shoes 11y agoI've noticed that the kinds of things a mathematician might pride an elegant proof over are the same kinds of things a programmer might recognize as elegance in code as well. I think the Curry-Howard Correspondence is actually an intuitive result rather than a surprising one, and that any experienced programmer who understands formal proofs as well as they understand computer programming would eventually arrive at the Correspondence on their own, or at least a suspicion of it.