LendoDesvantagens do sistema do tipo Scala versus Haskell?, Tenho que perguntar: o que é, especificamente, o que torna o sistema de tipos de Haskell mais poderoso que os sistemas de tipos de outras linguagens (C, C ++, Java). Aparentemente, nem Scala pode executar alguns dos mesmos poderes que o sistema de tipos de Haskell. O que especificamente torna o sistema de tipos de Haskell (inferência do tipo Hindley-Milner) tão poderoso? Você pode dar um exemplo?