haskell - 理解 Haskell 作为模式

Question

我正在阅读 Real World Haskell，并试图理解 as-pattern。

从书中(第 4 章):

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

这本书解释了@符号，

"...bind the variable xs to the value that matches the right side of the @ symbol."

我很难理解这个解释。
假设我打电话

suffixes "hello"

明确地说，上面带有@ 的行会对此做什么(在第一次迭代中)？我知道函数的结果是什么，但无法从上面的代码中看到我们如何到达那里。

Answer 1

xs'将绑定(bind)到字符串 "ello" .
xs将绑定(bind)到字符串 "hello" .
@模式允许您为变量命名，同时匹配其结构并可能为组件命名。