haskell - "@"符号在 Haskell 中引用列表时意味着什么？

Question

我遇到了一段 Haskell 代码，如下所示:

ps@(p:pt)

@ 符号在这种情况下意味着什么？我似乎在 Google 上找不到任何信息(不幸的是很难在 Google 上搜索符号)，而且我在 Prelude 文档中找不到该函数，所以我想它一定是某种语法糖。

Answer 1

是的，这只是语法糖，@ 读作“as”。 ps@(p:pt) 为您提供

的名称

1. 列表:ps
2. 列表的头部:p
3. 列表尾部:pt

如果没有@，您必须在 (1) 或 (2):(3) 之间进行选择。

这个语法实际上适用于任何构造函数；如果您有data Tree a = Tree a [Tree a]，则t@(Tree _ kids)可以让您访问该树及其子树。