Re:Why I am learning category theory
by ukj on Thursday December 01, 2022 @12:51PM
(#33819802)
>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.
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_...