Hmm.. I don't know Scala, so I cannot really discuss Scala complexity. But having no degree whatsoever, I find pretty much all Haskell I encounter understandab

Hmm.. I don't know Scala, so I cannot really discuss Scala complexity. But having no degree whatsoever, I find pretty much all Haskell I encounter understandable and approachable and that has been the case ever since I had around 4-6 months of Haskell experience. I have never encountered significant bugs in GHC's type checker -- are there any more bugs there than there are in other less advanced type systems?