haskell - '@' 在 Haskell 中是什么意思？

Question

我试过用谷歌搜索，但结果很短。我通过阅读一些文章来加深我的 Haskell 知识，我遇到了一篇使用我以前从未见过的语法的文章。
一个例子是:

reconstruct node@(Node a b c l r) parent@(Node b d le ri)

我以前从未见过这些@。我尝试在网上搜索答案，但没有找到答案。这只是一种嵌入标签以帮助使事情更清晰的方法，还是它们对代码有实际影响？

Answer 1

它用于模式匹配。现在node变量将引用整个 Node参数 Node a b c l r 的数据类型.因此，不要以 Node a b c l r 的形式传递给函数, 你可以使用 node而不是传递它。

一个更简单的示例来演示它:

data SomeType = Leaf Int Int Int | Nil deriving Show

someFunction :: SomeType -> SomeType
someFunction leaf@(Leaf _ _ _) = leaf
someFunction Nil = Leaf 0 0 0

someFunction也可以写成:

someFunction :: SomeType -> SomeType
someFunction (Leaf x y z) = Leaf x y z
someFunction Nil = Leaf 0 0 0

看看第一个版本有多简单？