[dmitriid]

> This is extremely false [referring to "You need a PhD in type theory to get anywhere."]

almost immediately followed by

> And I'd really like to see type class constraint resolution, or Hindley-Milner type checking

You don't even see the irony in that, do you?

> they don't take much more code in Haskell:

riiight. I won't even go into the number of things that need to be explained there before you even start explaining what the code does.

[mrkgnao]

I hadn't really finished editing my comment then. (I was eating at the time, haha.) I just saw your reply now.

[dmitriid]

So, you could say your comment was ... lazy?

(huehuehue, lame joke, I know :) )