News for hackers. Stuff that matters.
Re:OCamlers' critiques of Haskell by bbcbasic on Thursday August 27, 2015 @01:30AM (#10127700)
> When I met a Haskeller at the pub after a mini-conference and I mentioned that I didn't like Haskell he began frothing at the mouth and punching the table. When we got up to leave he refused to shake my hand.

This is just gold!

All the Haskellers I have met seem to be quite normal, helpful. Maybe this guy rubs them up the wrong way.

Re:OCamlers' critiques of Haskell by yokohummer7 on Thursday August 27, 2015 @02:04AM (#10127786)
That's not my experience. Most Haskellers are indeed good people, but quite a few "vocal" ones are extremely arrogant and intellectually dishonest. Let me give some examples that I've met recently:

- A Haskeller once said Haskell is just as easy as Go to learn. I mean, yeah, many moderately complex languages might be as complex as Haskell, but seriously, Go? It is designed to be as simple as possible. Hell, it even doesn't have generics, which is considered pretty essential in nowadays' statically typed languages. And this claim isn't an outcome of ignorance. He is the author of a very popular Haskell learning material.

- Another said: "Steep learning curve is an interesting expression, because what it actually means is that one is learning quickly." Ok, that's not my interpretation of "steep learning curve" of Haskell.

- "The average Java programmers are worse than the average Haskell programmers" thing. This sentiment even existed in one of the "how to spread Haskell to the industry" presentation. I'm pretty sure if Haskell does be accepted by the industry, it will have the exactly same dumb programmers using it. So, what's the point?

You must be lucky if you haven't met any of them in the Haskell community. Actually, their reputation outside of the community is quite terrible. This must be resolved if Haskell wants to succeed. (And yeah, please stop saying "avoid success at all cost". I know it can be interpreted as "avoid $ success at all cost", just stop it.)

Re:OCamlers' critiques of Haskell by mightybyte on Thursday August 27, 2015 @06:55AM (#10128617)
> You must be lucky if you haven't met any of them in the Haskell community. Actually, their reputation outside of the community is quite terrible.

I think this is quite relevant.

https://gist.github.com/quchen/5280339

All communities of significant size will have good and bad apples. The Haskell community is no exception. But in my experience most of the community are fantastically patient and helpful people.

Re:OCamlers' critiques of Haskell by bunderbunder on Thursday August 27, 2015 @10:47AM (#10129724)
This may indeed be true, but Haskell has nonetheless developed a reputation, and it's not a reputation that it shares with just any other community. The only comparison I can think of is Lisp in the '90s and early 2000's.

My suspicion is this: There are lots of ways to make people feel inferior, or at least make them feel like you think they're superior. Most of them are ones that people probably don't do on purpose. But when you do it, the person you do it to is going to think you're a smug jerk nonetheless. There are also a lot of people who are supremely self-confident and therefore largely immune to being made to feel inferior. Many of them have been like this all their lives, and are therefore oblivious to this social subtlety.

One easy social gaffe that doesn't get discussed much is having no sense of humility about your language's obtuse syntax. Yes, I know, it's a familiarity issue, all languages have obtuse syntax, etc. etc. Doesn't matter. What matters is, if your language's syntax is different enough from Java's or Pascal's then it's going to be widely perceived as being obtuse. And responding to that with anything along the lines of, "Huh, makes perfect sense to me," risks coming across as a smug jerk.

Using the M-word is another famously risky behavior. Ironically, at least in my experience using it is also actively harmful to any attempts to explain the underlying concept, because at this point that word is @$#@ loaded. You can take someone who is already implicitly comfortable with the concept and uses them all the time in practice, and reduce them to a confused heap just by mentioning the M-word. And at that point, any attempt to pursue your goals will also risk coming across as a smug jerk. No, trying to address this issue head-on by writing blog posts with titles like "You already understand. . ." does not help. It just makes you come across as a condescending smug jerk.

Re:OCamlers' critiques of Haskell by Tomte on Thursday August 27, 2015 @02:10AM (#10127801)
"Steep learning curve is an interesting expression, because what it actually means is that one is learning quickly."

That is technically correct in the original meaning of "learning curve".

Many technically inclined people totally disregard changes of language and cling to their perceived "pure" meaning.

Re:OCamlers' critiques of Haskell by Zarathustra30 on Thursday August 27, 2015 @03:33AM (#10128059)
Just plot "Effort Needed" by "Skill Wanted". You get a nice, steep curve.
Re:OCamlers' critiques of Haskell by seanmcdirmid on Thursday August 27, 2015 @05:03AM (#10128325)
I once had the fortunate experience to spend a week at a hot spring in Japan with many of the top Haskell people. I have to say, they were quite polite, intelligent, open minded, and could drink more than I could.

But every language community has its toxic elements.

Re:OCamlers' critiques of Haskell by marcosdumay on Thursday August 27, 2015 @12:55PM (#10130569)
> I'm pretty sure if Haskell does be accepted by the industry, it will have the exactly same dumb programmers using it. So, what's the point?

That's a property of all niche languages. Yes, if they get mainstream, they'll lose it, but until then it makes for an easy way to bias in a good way the set of people you could hire for a position.

If we assume companies do not filter well their hires, or that filtering them is costly (a huge "if"), it becomes a competitive advantage. And, as most competitive advantages, if enough people use it, it goes away.

Re:OCamlers' critiques of Haskell by eli_gottlieb on Thursday August 27, 2015 @04:02PM (#10131703)
>Most Haskellers are indeed good people, but quite a few "vocal" ones are extremely arrogant and intellectually dishonest.

This is actually what the rest of the world says about the tech industry.

(Yeah, I just finished pushing a commit or two in Haskell to my github. And I hang out with Ed Kmett once a month. Oy.)

Re:OCamlers' critiques of Haskell by Chlorus on Thursday August 27, 2015 @02:02AM (#10127782)
Why do I have the sensation that critiquing programming language communities in general is going to end in, shall we say, less than constructive conversations?
Re:OCamlers' critiques of Haskell by fp-incompleted on Thursday August 27, 2015 @03:26AM (#10128035)
"All the Haskellers I have met seem to be quite normal, helpful"

This is the same kind of weak response you see from Rubyists whenever someone points out their community's well-documented asshole problem (eg: Steve Klabnik bringing a woman to tears by publicly ridiculing her project and offering only an insincere non-apology when called on it, any blog post ever by DHH or ZS, Felipe Contreras' tantrums on public mailing lists):

"Well, in my experience, everyone in my community is super nice and helpful, so you must be wrong."

Off the top of my head, I can easily recall several Haskellers on HN who've come across to me in the past as pricks, and on multiple occasion at that: dons, loup-vaillant, and coolsunglasses.

The Haskell community, like that of Ruby, is quickly getting the reputation it deserves.

Re:OCamlers' critiques of Haskell by boothead on Thursday August 27, 2015 @06:08AM (#10128490)
The thing is that it's not a "weak response", it really is people's opinion.

I've experienced some cases where I've been spoken to a bit sharply, and some where people have come across a bit impatient when I haven't "got" something they understand. The thing is that I don't process it as people coming across as a dick, so my subjective experience is that the community is helpful. As to the three examples [1] you picked out of Haskellers coming across as pricks, I honestly, truely, completely don't see anything in any of these comments beyond forthright assertions of opinion. Would you be able to maybe break down what you find objectionable?

[1] As disclosure: I currently work with dons, and I also know willtim.

Re:OCamlers' critiques of Haskell by fp-incompletd on Thursday August 27, 2015 @07:30AM (#10128750)
You're defending a guy who marshaled his supporters to spam his unremarkable tiling window manager here so heavily in some apparent (and unsuccessful) Haskell promotion campaign that there are now nearly as many posts (search if you don't believe me) about it as there are about KDE. (At least the size of the downloads are comparable; a whopping half GB for those without the exact required versions of GHC and sundry cabal dependencies installed.)

If you don't understand what's offensive about condescendingly spewing falsehoods like "if it compiles, it works" or saying that you can't respect a CS department that uses Python for its introductory CS courses instead of Haskell (and thus doesn't expect its freshmen to know what a Kleisli category is), you've obviously drank too much of the Haskell Kool-Aid to maintain objectivity.

Re:OCamlers' critiques of Haskell by boothead on Thursday August 27, 2015 @08:41AM (#10129020)
I'm not defending anyone - I'm seeking to understand your point of view better. But language like "Marshaled his supporters" makes me wonder if there's something else I've missed. I use XMonad and quite like it other haskellers I know have moved on to i3. Not sure I've ever seen it being "spammed".

The if it compiles works thing... That's unfortunately overblown and hyperbolic, but in my experience of the Haskell community in London, it's usually uttered as a tongue in cheek joke. I'm not sure I'd characterize it as condescendingly spewing falsehoods.

However, let me tell you about my first experience building a little thing while learning Haskell: As a total newbie, I wanted to pull some timeseries from a database and plot them on a UI. It took me days of grabbing some time here and there, learning which DB library I should use and how the diagrams package worked. I finally got it to compile without any errors. As a python programmer this was a completely new way of programming for me, and I now fully expected the real work of making it run to begin. The VERY first time I ran it - up popped a timeseries visualization. Mind. Blown!

So as you state it, "if it compiles it works" might be a falsehood, but there's more than a grain of truth there.

As for your other comment. What Tim actually said was:

> An institution that teaches Python under the banner of computer science, certainly loses prestige in my opinion

He didn't say that he "can't respect" it, nor did he say that CS should exclusively be taught in Haskell. He said, that teaching it in python lowers its prestige (and later clarifies that he means that as a vehicle for teaching CS rather than programming).

As I mentioned, I'm a self taught programmer, beginning with python. Since then I've worked at hedge funds and investment banks in python and built a startup on Haskell. My opinion is built on my own direct experience, and I find it somewhat disrespectful that you dismiss it as "drinking the Haskell Kool-Aid".

Re:OCamlers' critiques of Haskell by fp-incompletd on Thursday August 27, 2015 @09:55AM (#10129366)
Do you seriously believe that if xmonad had been written in anything else (and perhaps by anyone else) HN and proggit still would have been inundated with as many posts about it as they were? Please. It was rediculously obvious to anyone (or at least it should have been) what was going on.

"The VERY first time I ran it - up popped a timeseries visualization. Mind. Blown!"

Almost every programmer using almost every language has experiences like this. That hardly justifies making such expansive claims, claims that even a dependently-typed language would have difficulty justifying.

"Since then I've worked at hedge funds and investment banks in python and built a startup on Haskell. My opinion is built on my own direct experience, and I find it somewhat disrespectful that you dismiss it as "drinking the Haskell Kool-Aid"

I am not trying to be disrespectful to you, but I think you are being far to charitable in your interpretation of the conduct of your peers in the Haskell community.

Re:OCamlers' critiques of Haskell by mightybyte on Thursday August 27, 2015 @11:15AM (#10129909)
> I am not trying to be disrespectful to you, but I think you are being far to charitable in your interpretation of the conduct of your peers in the Haskell community.

This is probably where the disconnect lies. It seems like boothead is operating under the principle of charity (https://en.wikipedia.org/wiki/Principle_of_charity). HN's guidelines don't specifically mention it but seem like they have this principle in mind. You have absolutely no evidence that dons actually "marshaled his supporters to spam" and accusations that he did are not very charitable (as you yourself admit). It's just as likely that some people got really excited about it and posted it to HN.

Re:OCamlers' critiques of Haskell by fp-incompletd on Thursday August 27, 2015 @12:13PM (#10130281)
I operate under the principle of common sense. Why so many posts about a tiling window manager, and why xmonad and not i3, ratpoison, or dwm? Because it was written in Haskell and was thus being used as a vehicle to aggressively (if ineffectively) push the language on people. As for dons, he's posted plenty of xmonad crap here and on proggit, where he also happens to be a mod.
Re:OCamlers' critiques of Haskell by mercurial on Thursday August 27, 2015 @03:30PM (#10131521)
Ok, you don't like XMonad or Haskell, fine. I use XMonad daily. It has a giant pile of contributed modules, it's extremely flexible and used by a reasonable amount of people. I can give you one reason for not i3, ratpoison or dwm: as far as I know, they are all manual tiling WM (no notion of "master" window like XMonad). They're still tiling WMs, but of a different breed.
Re:OCamlers' critiques of Haskell by jeorgun on Thursday August 27, 2015 @02:46PM (#10131248)
I think it's undeniable that a substantial portion of the interest in XMonad came about because it's written in Haskell, but that's very different from saying that all of the interest in it comes from a concerted propaganda campaign on the part of the Haskell community.
Re:OCamlers' critiques of Haskell by axman6 on Thursday August 27, 2015 @09:53AM (#10129344)
You're judging a whole community based on interractions you had with Haskellers most likely many years ago - dons almost never speaks publicly these days, since moving to SC (which is shame, he's someone I've looked up to and learned a huge amount from). If I were to characterise the OCaml community based on what jdh says, I'd be writing to politicians to ban all use of OCaml everywhere because his comments are toxic, and far more dishonest than I've seen from anyone in the Haskell community.
Re:OCamlers' critiques of Haskell by lpw25 on Thursday August 27, 2015 @11:21AM (#10129953)
Just a quick note to say that jdh hasn't been an active OCaml user for years. He trolls on behalf of F# these days.
Re:OCamlers' critiques of Haskell by axman6 on Thursday August 27, 2015 @11:45AM (#10130088)
He seems pretty active in comments in the linked discussion... BUt I'm pretty sure John also carries a list around with him of reasons why he doesn't like Haskell, just in case he needs it. Truly unpleasant.
Re:OCamlers' critiques of Haskell by pekk on Thursday August 27, 2015 @12:00PM (#10130199)
On the other hand (without commenting on specifics of Haskell) the parts do represent the whole. People in a community learn tropes from each other. If many of the community's tropes are toxic, the community is toxic in a way that survives the departure of individuals because those individuals really weren't that special.
Re:OCamlers' critiques of Haskell by axman6 on Thursday August 27, 2015 @12:21PM (#10130327)
My experience with the Haskell community over the last 8 years has been so far from toxic than I'm not sure where that idea could even come from.
Re:OCamlers' critiques of Haskell by fp-incompletd on Thursday August 27, 2015 @10:40AM (#10129688)
I wouldn't begrudge anyone who made similar judgments about the Common Lisp community based on their interactions with some of its more colorful personalities. I further wouldn't disagree that there are major flaws in CL the language. Why do Haskellers have so much difficulty doing likewise? Other than minor concessions, such as records, Haskell is apparently perfect (and spaceleaks are only ever a problem if you're a n00b)... The whole thing reeks of a cult.
Re:OCamlers' critiques of Haskell by axman6 on Thursday August 27, 2015 @11:39AM (#10130053)
Your experiences are completely different to mine, and I've been a member of the community for about 8 years now. Haskellers are in general very aware of the flaws in the language, and this isn't limited to records - space leaks are the primary reason for the proliferation of streaming IO libraries. And for records, we've been lead to lenses, which are an extremely powerful abstraction which surpasses, IMO, whats available in most other languages in terms of being able to interact with nested data structures (giving them such a limited definition is doing them a disservice, because they're far more powerful than that). You keep mentioning the use of the "if it compiles, it works" phrase - this is clearly a meme, and often used as a joke, but is also used as a goal for writing reliable software: if we can encode enough of our problem domain into the type system, then we can be much more certain that if we write programs which compile, they likely do what we want them to. If it not a synonym for "If it compiles, it has no bugs and is perfect", which is how you seem to be interpreting it.
Re:OCamlers' critiques of Haskell by dllthomas on Thursday August 27, 2015 @02:21PM (#10131093)
For the record, I first heard the phrase, "it takes longer to get it to compile, but if it compiles it works" spoken about OCaml.

In both cases, I think it speaks to something important, and is obviously not true in any strict sense.

"If you write or edit <language>, with some reasonable practices and trying to get to a solution, the kinds of mistakes you will usually make will be usually caught by the type system."

In my experience, this is marginally more true of Haskell than OCaml, of which it is notably more true than C, of which it is notably more true than Python. With the caveat that much traditional/common practice in C does not satisfy the "reasonable practices" criterion.

Re:OCamlers' critiques of Haskell by fp-incompleted on Thursday August 27, 2015 @04:20AM (#10128195)
Re:OCamlers' critiques of Haskell by spatulon on Thursday August 27, 2015 @07:06AM (#10128661)
OK, those are pretty bad.
Re:OCamlers' critiques of Haskell by spatulon on Thursday August 27, 2015 @06:59AM (#10128635)
For what it's worth, @steveklabnik's apology was pretty good. I definitely wouldn't describe it as "an insincere non-apology" - he acknowledged the effect he had on the other person, and actually said the words "I am sorry" instead of something passive and weaselly like "I apologise" or "Sorry if...".

http://blog.steveklabnik.com/posts/2013-01-23-node

Re:OCamlers' critiques of Haskell by fp-incompletd on Thursday August 27, 2015 @07:24AM (#10128730)
"I'm sorry, and feel terrible that I made someone feel terrible" is tantamount to saying "I'm sorry you were offended." He's merely expressing regret at her reaction, not admitting that his actions that caused said reaction--specifically, mocking her for writing a sed-like utility in JS--were uncalled for. Further, I'm confident that if she'd written the program that spurred her undeserved public shaming in Ruby, he and his fellow Twitter bullies would not have voiced any complaint.
Re:OCamlers' critiques of Haskell by steveklabnik on Thursday August 27, 2015 @10:03AM (#10129423)
I haven't re-read my blog post, but let me be clear: my actions back then are something that I deeply regret to this day. I think about it on something like a weekly basis, still.
Re:OCamlers' critiques of Haskell by thesteamboat on Thursday August 27, 2015 @12:20PM (#10130320)
I'm not sure you read the same apology I just did.

> SK: i dont want people to think i'm saying "i got caught being an asshole so i'm saying sorry"

> SK: i want to say "I was accidentally being an asshole so i'm sorry"

> So, I'll just leave it at that. Twitter makes it so hard not to accidentally be an asshole.

He's admitting that he was "being an asshole" and is trying to empathize. "I'm sorry you were offended" means being offended was your choice. "I made someone feel terrible" means I did something bad to that person.

I'm not familiar with the JS community or Steve Klabnik in particular, but that's a pretty straightforward and sincere apology.

Re:OCamlers' critiques of Haskell by icebraining on Thursday August 27, 2015 @01:20PM (#10130726)
Also, "I feel even worse because I didn't mean to say that they were terrible, but accidentally did."

Seems a pretty clear apology to me.

Re:OCamlers' critiques of Haskell by Veedrac on Thursday August 27, 2015 @10:10AM (#10129465)
> "I'm sorry, and feel terrible that I made someone feel terrible" is tantamount to saying "I'm sorry you were offended."

Wow, I could not read that any more differently.

It's like arguing "I'm sorry, and feel terrible that I hurt your toe" is tantamount to saying "I'm sorry your toe hurts when it's stepped on". I find that notion a little strange.

Re:OCamlers' critiques of Haskell by axman6 on Thursday August 27, 2015 @09:47AM (#10129309)
It's curious seeing you mention this, while completely ignoring how overwhelmingly negative the linked to thread is, devolving into personal attacks for no good reason - the other linked discussions between various language communities have been very civil and fun to read, but reading this bunch of OCamlers writing long lists of often minor deficiencies shows to me a level of insecurity I haven't seen elsewhere, and I find it very unappealing. It's enough for me to not want to try OCaml because the community seems very hostile. And it's not just jdh, even without his (your?) comments, it's overwhelmingly negative, and needlessly so.
Re:OCamlers' critiques of Haskell by mercurial on Thursday August 27, 2015 @03:23PM (#10131480)
> The Haskell community, like that of Ruby, is quickly getting the reputation it deserves.

By the same token, you could describe the community of Haskell as witty and friendly by taking SPJ as an example. In my experience, the Haskell community is fairly free of vitriol and of the drama which is fairly common in open-source communities.

Re:OCamlers' critiques of Haskell by lispm on Thursday August 27, 2015 @01:53AM (#10127757)
Search for 'Jon Harrop' and you will begin to understand why...
Re:OCamlers' critiques of Haskell by alricb on Thursday August 27, 2015 @09:55AM (#10129365)
Some context from back in the day...

http://harrop-highly.blogspot.ca/

Re:OCamlers' critiques of Haskell by conistonwater on Thursday August 27, 2015 @01:57AM (#10127766)
Isn't that the user that left the comment, jdh30?
Re:OCamlers' critiques of Haskell by radmuzom on Thursday August 27, 2015 @02:45AM (#10127912)
Jon Harrop often comes across as too negative and is described as "well known internet troll". However, his thoughts are usually quite valuable and often better than what he is credited for. His contributions to the F# community are well known.
Re:OCamlers' critiques of Haskell by lispm on Thursday August 27, 2015 @03:05AM (#10127975)
The Lisp community remembers when he trolled them. Basically he wanted to create clicks for his commercial offerings, unrelated to Lisp. Some kind of anti-marketing strategy, which fired back. Since then his business failed and he trolls the Haskell community as a hobby, from time to time.

Really 'valuable' thoughts from him are rare. 'Valuable' more for him. ;-)

Re:OCamlers' critiques of Haskell by lispm on Thursday August 27, 2015 @06:02AM (#10128472)
> This is just gold!

This thread reminds me of Tortuous Convolvulus.