Haskell:带条件的自定义类型

Question

我是一个haskell新手，我找不到这个问题的答案。

我们可以用条件定义类型吗？例如，简单的用户定义数据类型是:

data MyList = MyList [a]

我可以以某种方式修改此代码，以便 MyList 构造函数只能采用偶数个元素的列表吗？就像是

data MyList = MyList [a] where (even (length a))

谢谢!

Answer 1

不，你不能。

如果真的有必要，就自己写一个类似构造函数的函数。

toMyList :: [a] -> MyList
toMyList l | even (length l) = MyList l
           | otherwise       = error "Length of list has to be even"

或者如果可能发生错误检查:

toMyList :: [a] -> Maybe MyList

但是根据用例，也许您可​​以通过类型(例如元组或两个列表)而不是通过运行时检查来表达自己。