如何在Haskell中进行数据类型递归

Question

我该怎么做这样的数据类型：

data Xpto = String [Xpto ]

insertHead :: String -> Xpto 
insertHead s = s []

我收到此消息：

Type error in application
*** Expression     : s []
*** Term           : s
*** Type           : [Char]
*** Does not match : a -> b

Answer 1

这与数据类型是递归的事实无关。 您不能定义小写数据类型。 类型以大写字母开头。

此外，您必须定义一个构造函数 ，这里最直接的构造函数也可能是Xpto （构造函数也以大写字母开头）。

所以写：

data Xpto = Xpto String [Xpto]
--          ^ constructor

insertHead :: String -> Xpto
insertHead s = Xpto s []
--             ^ apply the data constructor

或者我们可以通过使用flip来使insertHead指向：

insertHead :: String -> Xpto
insertHead = flip Xpto []