Haskell：case语句中的Parse错误（涉及列表！）

Question

在我的case语句中，我遇到了（我假设）我正在使用的类型（对于霍夫曼编码的赋值）。 我想从树的顶部到每个叶子工作，并返回一个键值对列表。 []传递正常，但[h]返回一个解析错误，我不知道为什么。

type HCode = [Bit]
data Bit = L | R deriving (Eq, Show)
data Tree a = Leaf Int a | Node Int (Tree a) (Tree a) deriving (Eq)

convert :: Ord a => HCode -> Tree a -> [(a,HCode)]
convert hs tree =
  case hs tree of
    []     (Node _ a b) -> (convert [L]            a)++(convert [R]            b)
    [h]    (Node _ a b) -> (convert !([h]++[L])    a)++(convert !([h]++[R])    b)
    (h:hs) (Node _ a b) -> (convert !((h:hs)++[L]) a)++(convert !((h:hs)++[R]) b)
    [h]    (Leaf _ a)   -> [(a, [h])]
    (h:hs) (Leaf _ a)   -> [(a, (h:hs))]

我之前没有用过刘海，但我觉得它们在这里合适吗？ 它们会对性能产生影响吗？ 我是否在正确的背景下使用它们？

Answer 1

case ab of ...与a和b都不匹配，而是匹配调用a作为函数的结果，参数为b 。 case表达式总是与一个值匹配，甚至第一个子句（您认为有效）也绝对不起作用。

要匹配两个值，将它们包装在一个元组中，然后在每个子句中拆分元组，如下所示：

case (hs, tree) of
  ([], (Node _ a b)) -> ...
  ([h], (Node _ a b)) -> ...
  ...