> languages like Haskell exist and isn't that on the whole programming using category theory? It's not. However claims like that get thrown around a fair amoun

> languages like Haskell exist and isn't that on the whole programming using category theory? It's not. However claims like that get thrown around a fair amount so the confusion is understandable. That said, some important Haskell abstractions were designed using category theory. So it can be helpful to know some of the lingo (since it will show up in abstraction names and descriptions). And if you're looking to design the next breakthrough Haskell abstraction it might be extremely helpful, but that's not 99% of programmers. However, the people who can do that are super cool, eg https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors.pdf https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors....