3 ms·
> drive, intellectual curiosity and desire for a challenge Reading a book on abstract algebra is going to give you more concepts of Type Theory than learning H
by heavenlyblue 6y ago
> drive, intellectual curiosity and desire for a challenge
Reading a book on abstract algebra is going to give you more concepts of Type Theory than learning Haskell.
So you may say that learning Haskell is intellectually useful, yet there are more challenging purely theoretic concepts which are more useful than Haskell.
I would go as far as saying that learning Haskell is just a "<smarts> poor man's excuse for not challenging themselves enough in the areas that actually matter".
- tome 6y ago> Reading a book on abstract algebra is going to give you more concepts of Type Theory than learning Haskell. What aspects of a book in abstract algebra introduce you to concepts of type theory, would you say?
- heavenlyblue 6y agoThe most basic ones: that objects have certain properties and those properties define how they can interact with other objects. How those properties get preserved under interactions and how one should think about it.