The initial use of "Huh?" might have been what set the tone for me. At the time I read it, the comment also ended with "kiddie", so I might be a bit biased. As

The initial use of "Huh?" might have been what set the tone for me. At the time I read it, the comment also ended with "kiddie", so I might be a bit biased. Aside from that, it's obvious he has more experience with Erlang but the tone still matters in a discussion.