Secondly, Haskell provides a very modern type system which incorporates features like typeclasses and generalized algebraic data types.

• 第二,Haskell提供了一个结合了诸如型别类(typeclasses)和通用代数数据型别(generalized algebraic data types)的现代化型别系统。