无限循环 Haskell

Question

data Node = Node Char [Node] deriving(Eq)

nodeA = Node 'A' [nodeB, nodeC, nodeD]
nodeB = Node 'B' []
nodeC = Node 'C' [nodeE, nodeF]
nodeD = Node 'D' []
nodeE = Node 'E' [nodeB]
nodeF = Node 'F' [nodeA]

deepTraverse :: Node -> [Char]
deepTraverse (Node c []) = [c]
deepTraverse (Node c ns) = c:(map (\(Node cl nsl)->cl) (buildNodeList (Node c ns) ns))
             where lssToLs lss = foldr (++) [] lss
                   buildNodeList nw nsw = lssToLs (map (\(Node cl nsl)->(if (Node cl nsl) == nw then [(Node cl nsl)]
                                                                         else ((Node cl nsl):(buildNodeList nw nsl)))) nsw)

main :: IO()
main = putStrLn (show (deepTraverse nodeA))

每当我打电话给deepTraverse nodeA 时，它都会挂断。在 ghci 中它确实吐出：

Main*> "ABCEBF

让我怀疑 if 的“then”部分。一段时间以来，我一直在努力解决这个问题，任何帮助将不胜感激。

Answer 1

在盯着您的代码多年试图弄清楚它应该做什么以及为什么会卡住之后，我想我意识到了这个问题。

nodeF 指向nodeA。 （我才刚刚意识到这一点！）您似乎正在尝试使用 == 运算符来确定您何时返回已经查看过的节点。那是行不通的。

当您说node1 == node2 时，== 运算符将遍历整个树 以查看两个值是否相等。如果它们是相等，并且这个结构包含一个无限循环......好吧，那么你的代码将永远循环！试试吧。如果你问nodeA == nodeA，我想你会发现它永远返回。这是你的错误。

解决此问题的唯一方法是在每个 Node 上放置一个真正的唯一标签，并仅比较标签。在 Haskell 中，您无法检查两个变量是否“指向”同一事物；你只能比较两个结构是否具有相同的值，即完全遍历它们。