阅读Scala类型系统与Haskell的缺点？我不得不问:具体来说,它使Haskell的类型系统比其他语言的类型系统(C,C++,Java)更强大.显然,即使Scala也不能执行与Haskell类型系统相同的功能.具体来说,是什么让Haskell的类型系统(Hindley-Milner类型推断)如此强大？你能给我举个例子吗？
haskell types type-systems type-inference hindley-milner
haskell ×1
hindley-milner ×1
type-inference ×1
type-systems ×1
types ×1