使用 Preorder 遍历 IntTree

Question

我正在尝试创建一个预排序函数来遍历 IntTree。

树类如下

data IntTree = Empty | Branch IntTree Int IntTree deriving (Show, Eq)

我有两个问题 1. 我收到如下所示的错误。

E:\Haskell\Uebungsblatt_2_Aufgabe_2_a.hs:7:14: error:
    * Expected kind `* -> Constraint', but `IntTree' has kind `*'
    * In the type signature: preorder :: (IntTree c) => c -> [a]
  |
7 | preorder :: (IntTree c) => c->[a]

  |              ^^^^^^^^^
[Finished in 0.5s]

我不明白为什么。它们发生在以下行

preorder :: (IntTree c) => c->[a]

1. 我认为下面这行是不对的。我想我需要写其他表达式而不是 " l : preorder a : preorder r:[] "

preorder Branch a l r = l : preorder a : preorder r:[]

提前感谢您的帮助！！

main :: IO ()    -- This says that main is an IO action.
main = return () -- This tells main to do nothing

data IntTree = Empty | Branch IntTree Int IntTree deriving (Show, Eq)


preorder :: (IntTree c) => c->[a]
preorder Empty = []
preorder Branch Empty x Empty = [x]
preorder Branch a l r = l : preorder a : preorder r:[]

Answer 1

对于问题 1：

preorder :: (IntTree c) => c->[a]

您混淆了类和数据类型。 IntTree 是用data 声明的，所以它不是类型类而是常规数据类型，例如Bool 或Int。使用方法相同：

preorder :: IntTree -> [a]

第二件事是您没有返回任何类型的列表a（小写字母是类型变量），而是专门返回Ints 的列表，因为这就是树包含。所以你必须这样说：

preorder :: IntTree -> [Int]

Answer 2

对于问题 1：签名

preorder :: (IntTree c) => c->[a]

错了：IntTree 不是类型类，它是普通类型，所以我们可以照原样使用它。

preorder :: IntTree -> [Int]

最终类型必须是Int，因为我们生成的是整数列表，而不是任何a 的[a] 列表。

对于问题 2： : 在 list 中添加一个 element，它具有类型

(:) :: a -> [a] -> [a]

因此，它不会连接两个列表。为此，请改用

(++) :: [a] -> [a] -> [a]

如

preorder (Branch a l r) = l : preorder a ++ preorder r

（最后不用++ []）