I have a budding interest in ML-languages and was seeing a couple of references to category theory in this article and the linked slides. Are there any good resources for learning category theory applied to ML programmers or is there a list of category theory concepts that programmers will often come across?
urxvtcd|6 years ago