4 ms·

More simply (but hard to appreciate without going through semesters of work): know that structure-preserving mappings are the important parts.

• nmrm 13y ago
  Yes. But my more important point is that you can tach about these mappings in isolation, in the context of functional programming. No Category Theory needed. You can teach about "different sorts of mappings" in just about any setting. In fact, that's kind of the whole reason Category Theory exists. So why teach the general result when all you care about is its application to functional programming?
  • j2kun 13y ago
    The importance of structure preserving mappings shows up in many other places besides functional programming. I do believe context is important, but having multiple contexts is even better.
    • nmrm 13y ago
      > but having multiple contexts is even better. Given the investment necessary to make this jump, I believe that the benefit outweighs the cost for most.
      • j2kun 13y ago
        You don't need to teach category theory proper to get the idea. So I think we are in agreement :)