【发布时间】：2021-12-28 06:23:13
【问题描述】：
我正在学习 Haskell，但遇到了一个似乎很难的问题。
我有 Trie 的自定义递归数据类型。
data Trie keytype valuetype = TNode (Maybe valuetype) [Edge keytype valuetype]
deriving (Show, Eq)
type Edge e a = (e, Trie e a)
我正在尝试实现与它一起使用的功能。我发现如何遍历它不正确的顺序。
isTrieValid :: Ord e => Trie e a -> [e]
isTrieValid (TNode _ []) = []
isTrieValid (TNode _ ((edge, TNode maybe innerlist):children)) = edge : printChildren innerlist ++ printChildren children
where
printChildren :: Ord e => [Edge e valuetype] -> [e]
printChildren [] = []
printChildren ((edge_name, TNode _ innerlist):xs) =edge_name : printChildren innerlist ++ printChildren xs
例如。对于以下特里，返回所有“键”（边缘名称）->“abbce”
trie1 = TNode (Just 42) [('a', TNode (Just 16) []),
('b', TNode Nothing
[('b', TNode (Just 1) []),
('c', TNode (Just 5) []),
('e', TNode (Just 2) [])
])
]
现在我正在尝试创建基于“键”查找元素的函数，如下所示：
trieLookup :: Ord e => [e] -> Trie e a -> Maybe a
但我看到了两个问题。首先，如果我用递归遍历 Trie，我不确定如何处理第一个元素。因为第一个元素没有“键”，我应该返回什么？我认为空字符串会起作用，但我希望将整个“Ord”类型类用于键，这样会引发类型错误。
我尝试创建的下一个函数将检查 Trie 有效性。
isTrieValid :: Ord e => Trie e a -> Bool
我的理解是，Trie 必须具备这种品质才能被认为是有效的。
- 当前元素之后的所有元素都按第一个元素排序（按Ord e排序）
- 没有两个后继者拥有相同的密钥
因此，如果根节点有效并且所有子树/subtriee（不确定如何编写）也有效，则整个 TRIE 有效。
我想创建一个函数来检查一个节点的有效性，然后使用上面的函数在所有节点上复制它，但我失败了。
感谢您的帮助。
【问题讨论】：
-
Mod note：不要仅仅因为它是一个积极的家庭作业而标记这个问题。 We allow homework questions，只要他们是properly asked,，这个问题似乎是（至少对我来说是一个非中小企业）。这是一个家庭作业问题不是一个密切的原因。我们还don't care if it's part of anything active或违反荣誉守则。
-
也就是说，如果这被证明是由于其他原因而可以关闭的，请继续使用适当的标志来标记相关原因，但它是一个积极的家庭作业不是这样的原因。 Abdul，请随意忽略这些 cmets。您在这里没有做错任何事情，这些 cmets 不是为了解决您的行为
-
明确地说，“没有做错任何事”有点过于宽泛——我们不能肯定地说。 Abdul 没有违反 Stack Overflow 规则或政策，但根据学校政策，他可能仍然做错了什么。如前所述，Stack Overflow 无法强制执行这些，因此问题确实是这里的主题，但在更广泛的意义上它可能仍然是“错误的”。