The abstract data types of Haskell in many ways provide a more straightforward route to enforcing validity than do OOP attribute restrictions.

• 与OOP属性限制相比,Haskell的抽象数据类型在很多方面提供更简单的方法来实施有效性。