I think that the rant piece is out of proportion to the problem. Which other languages give you the ability to omit type definitions and have them inferred at

I think that the rant piece is out of proportion to the problem. Which other languages give you the ability to omit type definitions and have them inferred at compile time?* And this one time it doesn't figure it out and you need to specify Int. The biggest problem is the error message. Error messages being unhelpful to beginners is a big problem in general, e.g. see JavaScript. But GHC errors are also scary looking! *Except for Haskell inspired languages and typescript, but typescript suffers from it's strength as JS compatible.