221–224 of 224 posts
Although, applying CT to lisp ( . ) bit more handy (to quot(.) or quote()
Category theory is very helpful when looking a programming from a metadata / multi-domain interactions perspective aka (interaction between different abstraction layers / non-linear scip ) Although, applying CT to lisp ( . ) bit more handy (to quot(.) or quote()
As someone with a maths degree, yet who admittedly hasn't looked into category theory beyond some basic notions, I still don't quite understand why anyone would want to learn category theory before e.g. abstract algebra or even just fundamental mathematical reasoning (definition, theorem, proof). Maybe I'm missing something but it seems to me that all you can study monads in programming languages without having to al…
Earlier quoted context omitted.
I agree with you. CT seems mostly useful as a way of devising entirely new abstractions, but once those abstractions are developed, you don't need CT to use them. For example if it were 2008 and you want to be inventor Applicative functors for use in Haskell, then knowing lax monoidal functors from CT might be helpful. But if you want to just use Applicative functors, you don't need to learn lax monoidal functors fir…
Do you have any recommended reading for learning CT from the perspective of an engineer who does want to make their own abstractions? Your description is the single best sales pitch for learning it that I've ever heard. I'm legitimately interested now — in a way that I simply wasn't before your comment. Everyone else who tries to hype up CT is always like, "Whoa, bro, don't you know that addition is actually a monoid…
Independent of mathematical numerical systems used, everthing gets loaded at hoursX0000. Everything else after that is just bracket arrangements.
If let things stack up, then it's all about what can be accomplished before zeroing out.
https://bartoszmilewski.com/2014/10/28/category-theory-for-p...