Блог

Я пытаюсь создать функцию предварительного заказа для обхода IntTree.

Класс дерева выглядит следующим образом

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

У меня есть два вопроса
1. Я получаю ошибки, как показано ниже.

 E:HaskellUebungsblatt_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]
  

2. Я думаю, что следующая строка неверна. Я думаю, мне нужно написать другие выражения вместо » l: предварительный заказ a: предварительный заказ 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:[]
  

Для вопроса 1:

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

Вы путаете классы и типы данных. IntTree был объявлен с помощью data , поэтому это не класс типов, а обычный тип данных, такой как Bool или Int . Он используется таким же образом:

 preorder :: IntTree -> [a]
  

Во-вторых, вы не возвращаете список какого-либо типа a (строчные буквы — это переменные типа), вы возвращаете конкретно список Int s, потому что это то, что содержит дерево. Итак, вы должны так сказать:

 preorder :: IntTree -> [Int]
  

Для вопроса 1: подпись

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

неверно: IntTree это не класс типов, это обычный тип, поэтому мы можем использовать его как есть.

 preorder :: IntTree -> [Int]
  

Конечный тип должен быть Int , поскольку мы создаем список целых чисел, а не список [a] для любого a .

Для вопроса 2: : добавляет элемент к списку, он имеет тип

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

Следовательно, он не объединяет два списка. Для этого используйте вместо

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

как в

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

(Нет необходимости использовать [] в конце)