在Haskell中没有解构的变体上的模式匹配

Question

在下面的代码中，函数disp是通过解构Sum b c然后立即重建来定义的。问题是，我不需要b和c，只需要Sum类型的事实。

data Expr = Name String | Sum Expr Expr
    deriving(Show)

disp (Sum (Name a) (Sum b c)) = a ++ ":" ++ disp (Sum b c)

有没有一种方法可以在没有这种解构的情况下编写disp - 重建（以及b和c绑定），或者这是编写这样一个函数的正确方法吗？

Answer 1

disp (Sum (Name a) s@(Sum _ _)) = a ++ ":" ++ disp s

@允许多个匹配同一件事