On a less cynical level, intuition is highly non-transferrable.
This is a fantastic insight. I have been so frustrated trying to reach people monads over the years. People complain that Haskell is only intelligible for those with a math background. Now I understand why!
It’s not because Haskell requires you to know the underlying abstract algebra and category theory to grok monoids (in the category of endofunctors). It doesn’t! It’s because people who have studied math in undergrad have developed the skills to take a bare, abstract definition and work through a few examples on their own to build an intuition for the concept. Regular people for the most part do not do this! Most people are used to having everything explained to them and not used to learning anything really abstract which requires effort to understand. This is where their frustration comes in, just as it does for first year math majors at a rigorous school.
This is a fantastic insight. I have been so frustrated trying to reach people monads over the years. People complain that Haskell is only intelligible for those with a math background. Now I understand why!
It’s not because Haskell requires you to know the underlying abstract algebra and category theory to grok monoids (in the category of endofunctors). It doesn’t! It’s because people who have studied math in undergrad have developed the skills to take a bare, abstract definition and work through a few examples on their own to build an intuition for the concept. Regular people for the most part do not do this! Most people are used to having everything explained to them and not used to learning anything really abstract which requires effort to understand. This is where their frustration comes in, just as it does for first year math majors at a rigorous school.