haskell-将后缀表达式转换为二叉树

Question

我正在尝试将后缀表达式转换为二叉树。My函数将标记（字符串）列表作为参数。

每次我给函数任何输入时，调试器都会写一条消息：函数“add”中的非穷举模式。

我的想法是：一个接一个地读取标记，然后确定它是运算符还是操作数。如果是操作数，则不要将任何节点保存到树中，并将数字存储到堆栈中。否则，我用操作符创建一个节点，从堆栈中弹出符号，将它们设置为新节点的子节点，并将操作符推送到堆栈中。

如果字符串列表为空，函数将打印二叉树。

有人能给我解释一下，为什么函数会给出非穷举模式错误，我如何修复函数？

data Tree = Leaf String | Empty | Node Tree String Tree deriving (Show)

add :: Tree -> [String] -> [Tree] -> Tree
add (Node l v p) [] stack = (Node l v p)
add Empty (x:xs) []
        | x `elem` ["*","-","+"] = add (Leaf x) xs [Leaf x]
        | otherwise = add Empty xs [Leaf x]
add Empty (x:xs) (a:b:bs)
        | x `elem` ["*","-","+"] = add (Node b x a) xs (Leaf x:a:b:bs)
        | otherwise = add Empty xs (Leaf x:a:b:bs)
add (Leaf x) token (a:b:bs)
        | x `elem` ["*","-","+"] = add (Node b x a) token (Leaf x:bs)
        | otherwise = Leaf x
add (Node l v p) (x:xs) (a:b:bs)
        | x `elem` ["*","-","+"] = add (Node b x a) xs (Leaf x:bs)
        | otherwise = add (Node l v p) xs (Leaf x:a:b:bs) 

parse :: String -> Tree
parse input = add Empty (words (toPostfix input)) []

Answer 1

我通过简单的例子再现了错误：

add Empty ["10", "1", "+"] []

程序成功地将Leaf"10"添加到堆栈中，但是不能将Leaf"1"添加到堆栈中，因为add使用以下参数调用：

add Empty ["1", "+"] [Leaf "10"]

但是它与任何模式都不匹配，因为addempty（x:xs）（a:b:bs）期望第三个参数包含两个Tree元素和一个列表。因此，需要一个模式，该模式将第三个参数匹配为具有一个元素的列表。例如，添加：

add Empty (x:xs) [a] = add Empty xs (Leaf x:[a])

修复错误并打印以下内容：

Node (Leaf "10") "+" (Leaf "1")

希望它能帮助你继续完成任务，除非你已经解决了：）