>Functional programming concepts don't require learning category theory This is such a reductionist world-view. Programming concepts don't require you to learn

>Functional programming concepts don't require learning category theory This is such a reductionist world-view. Programming concepts don't require you to learn the theory of computation either, but having a theoretical/abstract grounding for what computation is disconnected from any particular programming language/model of computation helps. A lot. >Type theory isn't category theory It depends on what you mean by "isn't". There is a 1:1 correspondence between type theory and category theory constructs. https://ncatlab.org/nlab/show/computational+trilogy#rosetta_stone https://ncatlab.org/nlab/show/computational+trilogy#rosetta_...