23 ms·
I would put category theory very far down the list of things a programmer should learn. Once a programmer has learned a lot of other things about programming,
by tome 6y ago
I would put category theory very far down the list of things a programmer should learn. Once a programmer has learned a lot of other things about programming, category theory can act as a good organisational and explanatory tool.
- eru 6y agoYes, that was what I was going for. For what it's worth, https://bartoszmilewski.com/2015/09/01/the-yoneda-lemma/ https://bartoszmilewski.com/2015/09/01/the-yoneda-lemma/ does a pretty good job of explaining the Yoneda lemma in a programming context. Look for the section "Yoneda in Haskell". As I also tried to say earlier, in practice I suggest learning programming first, and then using the likes of category theory to organise your understanding.