Anyways,
>>1, please listen to me. That it's really related to this thread. I've been in the haskell community, you know. Well anyways there was an insane number of people there, and I couldn't get in. Oh, the stupidity. Those idiots.
you have high-t low manhood brogrammer types with something to prove like bitemyapp (he wrote monohaskell site) who spends 90% of his time scaring people away from the haskell community with nastyness and smug belittling (and off of other sites where he "challenges" people to prove him wrong about how haskell is faster than YOUR shit language) and the other 10% "teaching" to buy himself a permanent position embedded in the community. Any time his bullying is called out people jump to his defend with "b-b-but he is such a good teacher!", irrelevant. It's exactly the same pattern as with dibblego (although nobody is ever going to best him at his own game).
Secondly you have suit/drone types like edwardk with greased hair that smoothly climb the social ladder up to the top - doing "consulting" and other smile-and-shake-hands with the right people jobs - while stomping on top of anyone a bit unusual. Geeks/Nerds/Outsiders with lower social skills were who really mattered in early haskell. And do you really think running through an entire book of collected results of category theory and typing them into haskell files is an achievement? I want to interrogate you for roughly an hour, do you really believe that we were missing out on higher order zip zap chrono denisty morphisms?
Anyways, I was about to start programming, and then the 1GB GHC bastard of a compiler goes "type error." so I turn off the monomorphism restriction and its still not working. Everything has changed, it's impossible to build a monad transformer stack like normal and get good error messages. they changed it to a whole ridiculous typeclass system that both can't give good error messages anymore and .. all in the name of making it easier for beginners (that is: people who can't be bothered learning how to actually do it, even though it's very easy if you just read a tutorial). Who in the world can't build a monad transformer stack nowadays, you morons?
Pure hindley milner type inference with 98' typeclasses. That's the vets way of hacking. Every valid program can have its typed fully inferred with no signatures, this is the key. And then, it's delicious. This is unbeatable. However if you stick to this it's a double edged sword: you can't use a lot of system-F's advanced features which do have their place. I can't recommend it to amateurs.