Haskell has a strong, static type system based on Hindley–Milner type inference.
Haskell拥有一个基于Hindley-Milner类型推论的静态、强类型系统。