錯誤類型

Question

我做練習用二叉樹：

data BinaryTree a = 
    Leaf 
    | Node (BinaryTree a) a (BinaryTree a) 
    deriving (Show) 

我實現了樹摺疊功能：

foldTree :: (a -> b -> b -> b) -> b -> BinaryTree a -> b 
foldTree _ start Leaf = start 
foldTree f start (Node left x right) = f x (foldTree f start left) (foldTree f start right) 

現在我試圖重寫我的老地圖功能使用摺疊：

mapTree' :: (a -> b) -> BinaryTree a -> BinaryTree b 
mapTree' f bt = foldTree (\l x r -> Node l (f x) r) Leaf bt 

但是，它告訴我，x在上述lambda類型爲二叉樹的

x :: BinaryTree b (bound at app/Main.hs:85:30) 

我很困惑，因爲如果我在ghci做:t Node我得到：

Node :: BinaryTree a -> a -> BinaryTree a -> BinaryTree a 

所以，在我的腦海x應該a型的，因爲它是在的中間位置Node構造函數。

我哪裏錯了？

Answer 1

更改要麼foldTree擁有的BinaryTree

foldTree :: (b -> a -> b -> b) -> b -> BinaryTree a -> b 
-------------^----^ 
foldTree _ start Leaf = start 
foldTree f start (Node left x right) = f (foldTree f start left) x (foldTree f start right) 

的形狀或mapTree’修正參數順序：

mapTree' :: (a -> b) -> BinaryTree a -> BinaryTree b 
mapTree' f bt = foldTree (\x l r -> Node l (f x) r) Leaf bt 
---------------------------^