Haskell is very simple. Everything is composed of Functads which are themselves a Tormund of Gurmoids, usually defined over the Devons. All you have to do is stick one Devon inside a Tormund and it yields Reverse Functads (Actually Functoids) you use to generate Unbound Gurmoids.
-
-
Honestly, my sense is that you're overthinking this thing about CT. It's really not nonsense. I'll give a go at how I think about it:
-
When you start to really exercise practical use of higher-order functions with static types, you notice that there are particular patterns of said functions that come up again and again. It has practical value, from a software engineering perspective, to capture these patterns.
- 3 more replies
New conversation -
-
-
It’s _maybe_ helpful conceptually for understanding things like currying I suppose. I learned a bit of category theory before being exposed to Haskell. Was actually a little weird at first because of some terminology/notational conflicts/ambiguities
-
I guess? But that’s what the lambda calculus is for, not so much category theory. The lambda calculus used to be super esoteric, but now mainstream languages all sorta support it (even if they get some details wrong).
- 1 more reply
New conversation -
-
-
What did this for me was to completely ignore category theory and learn the typeclasses first as development patterns. For this the Typeclassopedia was an awesome resource.
-
Only after that I tried to learned the math concepts, though it is completely unnecessary to programming in Haskell (but they are very interesting). But you need exactly 0 knowledge of CT to understand the usage and application of the patterns in actual Haskell programming.
End of conversation
New conversation -
-
-
The jargon is genuinely counterproductive. I *do* understand a fair bit of category theory, have programmed in ML derivatives with type inference and have a math degree. The names are simply not well-chosen, matching neither intuition nor the mathematics.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.