5 ms·
> That's the inherent difficulty in discussing category theory solely in terms of programming Worse, I don't see any point in categorical models if you want to
by nmrm 12y ago
> That's the inherent difficulty in discussing category theory solely in terms of programming
Worse, I don't see any point in categorical models if you want to think solely in terms of programming.
> one would typically start with examples from algebraic topology
My initial exposure was along these lines as well, although the idea of a "course" in category theory seems a bit odd (not in the sense of wrong or bad, just not common-place).
Talking about categories in the context of everyday functional programming (even where the connections are correct) always seemed abstruse and a bit silly. If you're not using categorical models, what's the point (other than giving fancy names to things)? And if you don't have some background in algebra or topology and a specific research goal, why build the models?
- freyrs3 12y agoWell I mean, there is a lot of utility in programming with categorical concepts in Haskell. There's plenty of libraries in the Haskell ecosystem that wouldn't even exist if it weren't for drawing upon category theory for guidance. Pipes is probably the best example of this school of thought on library design. [1] My point was mostly that I don't think there is a path to really understanding the full generality of category theory through functional programming alone, one has to go learn the pure mathematics as well. [1] https://hackage.haskell.org/package/pipes-4.1.1/docs/Pipes-Core.html#g:2 https://hackage.haskell.org/package/pipes-4.1.1/docs/Pipes-C...