@和!是什么意思？

Question

 suffixes :: [a] -> [[a]]
 suffixes xs@(_:xs') = xs : suffixes xs'
 suffixes _          = []

我只知道在这里使用@被称为"AsPattern"。但它是如何工作的呢？有人能给我分析一下吗？

还有在Haskell中!是如何工作的？我现在无法给出示例，但我非常确定它会出现在Haskell编程中。

- Anthony

---

你可以在Hoogle上搜索符号 https://www.haskell.org/hoogle/?hoogle=! - rem

Answer 1

符号 @ 允许您进行模式匹配并引用您正在匹配的整个值。在您的示例中，您可以使用 @ 符号将整个列表参数引用为 xs，并将列表的尾部引用为 xs'（使用模式匹配）。

符号 ! 可以用于强制对一个值进行严格求值，而不是延迟求值（使用惊叹号模式或严格性注释）。

- bwroga

---

!符号也用于严格性注释，这与惊叹号模式是不同的。 - jub0bs

@jubobs 感谢澄清。 - bwroga

Answer 2

在Haskell中，您可以使用“As模式”为参数提供替代名称，以便您可以通过该名称引用它。在您的情况下，

xs@(_:xs')

允许您将xs作为参数(_:xs')的替代名称使用。否则，您将无法这样做，因为_匹配任何参数，但在其他情况下无法使用。

- zcleghern

Answer 3

@符号用于将xs绑定到您使用的模式(_:xs')，因此xs'被绑定到列表的尾部，而xs被绑定到头部附加到列表的尾部。 !用于O(1)常数时间索引向量。请参阅此处的文档: https://hackage.haskell.org/package/vector-0.9.1/docs/Data-Vector.html

- Matt

---

“!”符号除了向量索引外，还可以用于其他上下文。” - jub0bs

Answer 4

! 可以是一个关键字，此时它可能是严格性注释或者惊叹号模式。 ! 也可以是一个函数名，默认为中缀应用（即运算符），许多库示例包括数组索引。 @ 是一个关键字，用于as模式（也称视图模式）。它也可以作为几个HUnit断言的一部分。

在School of Haskell上描述了对惊叹号模式和视图模式的有趣用途。

- Alain O'Dea