I'm a PhD student in category theory, more specifically I study 2-dimensional category theory, that means bicategories, pseudofunctors, careful definitions of various structures you can put on this stuff and possible application to the representation theory of finite group(oid)s. I'm enthusiastic about this formalism, but at the same time I'm not sure yet whether research may fit my life interest for many other reasons.

I wouldn't like to abbandon category theory once my PhD will be over, and as far as I know one of the main subjects "outside accademia" that may require a solid background in category theory is functional programming, of which I barely know some general features differentiating it from more imperative type of programming, but really, I don't know much about programming at all.

So, my question is: could you provide some references in order to approach a self learning of functional programming with an eye on categorical aspects? More generally, based on what just said, are there other areas that you feel like suggesting that I find out about?

Thank you so much in advance :)