Haskell бинарное дерево с ключ-значение

Question

Haskell бинарное дерево с ключ-значение

голоса

3

Я хочу построить бинарное дерево с ключом - значение лаврового листа с кортежем (к, v).

Мой код:

data Tree k v = EmptyTree 
                | Node (k, v) (Tree k v) (Tree k v)
                deriving (Show, Eq, Ord, Read)

emptyTree :: (k,v) -> Tree k v  
emptyTree (k,v) = Node (k, v) EmptyTree EmptyTree

treeInsert :: (Ord k) => (k,v) -> Tree k v -> Tree k v
treeInsert (k,v) EmptyTree = emptyTree (k, v)
treeInsert (a, b) (Node (k,v) left right) 
        | a == k = (Node (a,b) left right)
        | a < k = (Node (a, b) (treeInsert (a, b) left) right)   
        | a > k = (Node (a, b) left (treeInsert (a, b) right))

Теперь я пытаюсь заполнить это дерево:

fillTree :: Int -> Tree k v -> Tree k v
fillTree x tree = treeInsert (x, x) tree

Но я получаю эту ошибку:

Couldn't match type `v' with `Int'
      `v' is a rigid type variable bound by
          the type signature for fillTree :: Int -> Tree k v -> Tree k v

Что причина и как я могу это исправить?

algorithm haskell binary-search-tree

Задан 20/07/2011 в 18:38
источник пользователем 0xAX

На других языках...

1 ответов

hammar · Accepted Answer · 2011-07-20 18:47

Ваш тип является либо слишком общим или слишком специфичным. Должен быть

fillTree :: Int -> Tree Int Int -> Tree Int Int

или

fillTree :: (Ord a) => a -> Tree a a -> Tree a a

Ваша первоначальная декларация пытается вставить (Int, Int)в Tree k v для любого k,v . Он говорил , что независимо от того , что это за дерево у вас есть, мы можем вставить пару Intсекунд в нем. Это явно нонсенс, и в качестве подписи для treeInsertуказывает, только пары типа (k, v)могут быть вставлены в Tree k v.

treeInsert :: (Ord k) => (k, v) -> Tree k v -> Tree k v