It's almost an hour-long talk about managing what is supposed to be a clear win and advantage of Haskell and cat theory: monads! Monads are so awesome that they force you to spend hours learning how to manage them, and writing boilerplate code using boilerplate libraries! Why write code that does something useful, when you can shuffle around monad transformers and liftIO's instead?!? Haskell is the best language for solving problems created by Haskell, after all!
Facebook’s Haskell project can indeed point the way for the programming world as a whole. That doesn’t mean Haskell will be ubiquitous in the years to come. Because it’s so different from traditional programming languages, coders often have trouble learning to use it
>>3 But they are made so restrictive and limited that writing anything requires whole stacks of monads, managing which requires whole pages of boilerplate and quite a lot of expertise.
Name:
Anonymous2015-09-02 22:30
>>3 Programming is syntactic sugar for continuations. Monads are a hack to implement continuations in a language that doesn't have them.
That monads do not compose was recognized as a problem early on[29]. Two independently-written expressions using different side-effects (and hence monads) are difficult to combine in one program. Modifying a small part of a large program to use a new side-effect (e.g., adding debug output) sends ripples of changes throughout the code base. The very same difficulty of adding and combining effects has plagued denotational semantics [7]. In fact, monads, introduced by Moggi as a way to structure denotational semantics, inherited that problem. One can identify three approaches to solving it.
You might be retarded if you can't understand monads. They're probably one of the easier things to understand about Haskell.
Name:
Anonymous2015-09-05 18:56
>>15 How about composing monads? No one has understood it, not even Kmett, not even Oleg.
Name:
Anonymous2015-09-05 21:05
>>16 Kmett is a fucking retard, putting his name next to oleg like that is an insult
Name:
Jerry Seinfeld2015-09-06 21:44
Ever wonder why they call them monads?
It's because functional programmers moan a lot and they don't have any nads.
Name:
Jerry Seinfeld2015-09-06 21:46
WAAAAAAAAAH I WANT MORE NADS!! WAAAAAAAAH!! MY POGRAM NOT DO WAT I WANT IT TO DO!!!!!!!!! WAAAAAAAAHHH! I PROVE IT CORRECT SUCH THAT THERE EXISTS MATHEMATIC WHICH PROVE THAT WHY IT NOT WORK!! WAAAAAHHHHHH!
Name:
Jerry Seinfeld2015-09-06 21:47
WAAAAAH WHERE MY JAPANESE COMIC BOOK WAAAAAAAAHHHH!!! IT FIX THE POBLEM!!! WAAAAAAAH!! MAYBE I FIND NAKED TRANSSEXUAL GIRL IN THERE!!! WAAAAAHHH!!! !OR IN SICP COMIC BOOK!! WAAAAAAAH!!!!
Name:
Jerry Seinfeld2015-09-06 21:48
FUCK IT I GO ON WORLD OF 4CHAN WAAAAAAAH!! MAYBE I MAKE A FUNNY TROLL POST ON THERE!!!! WAAAAAAAAH!!!!!!!!! THAT FIX THE POBLEM!!! WAAAAAAH!!!!
Name:
Jerry Seinfeld2015-09-06 21:50
WAAAAAAH WHY THEY USE HTML ON THIS TEXT BOARD!!!! WAAAAAAH!!!! MAYBE I INVENT BB CODE TRANSFER PROTOCOL!!!!! !WAAAAAHHHHHHHH!!! THAT WUD BE MORE USEFUL!!!!! WAAAAAAAHHHH!!!!!! HTML TOO HARD FOR ME TO UNDERSTAND!!!!! WAAAAAAHHHHHHHHH!!!!! WHY CANT EVERYTHING BE EXPRESSED LIKE JAPANESE COMIC BOOK!!!! WAAAAAAAHHHHHHH!!!! I ONLY KNOW HOW TO READ SICP, JAPANESE COMIC BOOK, AND 4CHAN POST!!!!! WAAAAAHHHH!!!!!!! WHY THEY MAE IT ALL STUPID AND HARD!!! WAAAAAAHHH!H!!