[AnimalMuppet]

And if Go were trying to be a better Haskell than Haskell, your criticism would be valid, but they aren't.

And in the actual world of working software, Go seems to be at least as useful as Haskell. Your criticism seems to come from theory, not practice.

[hajile]

My criticism actually comes from SML as I view Haskell's hallmark features (immutability, laziness, and no side effects) to be at odds with pragmatic programming. I also dislike type soup that requires everyone on the team to have an extensive background with this being another area where SML seems far superior to Haskell.

I mention these languages primarily because of their use of the Hindley-Milner type system (I could have mentioned Rust, Elm, and quite a few less-known languages too).