Want to hear some serious nerd bullshit? Monads, the hardest concept in all of computer science for anyone to understand are just the things between pipes monad | monad | monad | monad | no --really "But they're pipes with types!" "Oh, that's always a mess." "I KNOW!!!"
-
-
Small number of nice smart people, large number of terrible ones. The light might be overrated after all
-
Oh, don't get me started with people. But the math makes sense!
-
Damn thing is the math of state management, a task we're practically terrible at. My frustration came from, wait, Monads are *useful*?! Usefulness is not a compliment here.
-
Math is not made up. It is discovered. I can feel your frustration. But mankind hasn't come up with a better abstraction yet. It just is that difficult, and we have to deal with it. Don't you feel hope that at least we have a name for the beast?
-
We don't discover uninteresting things, because we just don't notice them (or if we do, we can't really get anyone else to notice them too). Math is a subset of true relationships. This branch of math describes a sort of discrete statefulness that interesting problems have.
-
The problem I see is telling beginners who just want to print "hello world" that that's an IO monad. Do they need that level of detail to get stuff done? Certainly not. Is that what is really going on? Oh yes!
-
Whereas it might actually be useful to express, "hello world wasn't printed, and then it was" like "hello world" | print extending to "hello world" | send_email "hello world" | extract_noun | print world
-
Yeah. Do notation. Heck, powershell got it right!
End of conversation
New conversation -
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.