'@' có nghĩa là gì trong Haskell?

Question

Tôi đã thử googling nhưng đi lên ngắn. Tôi đang nâng cao kiến ​​thức Haskell của mình bằng cách đọc một số bài báo và tôi bắt gặp một bài viết sử dụng cú pháp mà tôi chưa bao giờ thấy trước đây. Ví dụ sẽ là:

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

Tôi chưa bao giờ thấy những @ này trước đây. Tôi đã cố gắng tìm kiếm trực tuyến cho một câu trả lời nhưng đã đưa ra ngắn. Đây có phải chỉ đơn giản là cách để nhúng thẻ để giúp mọi thứ rõ ràng hơn hoặc chúng có tác động thực sự đến mã không?

Answer 1

Nó được sử dụng trong kết hợp mẫu. Hiện tại, biến số node sẽ tham chiếu đến toàn bộ loại dữ liệu Node cho đối số Node a b c l r. Vì vậy, thay vì chuyển đến hàm là Node a b c l r, bạn có thể sử dụng node để thay thế.

Một ví dụ đơn giản hơn nhiều để chứng minh điều đó:

data SomeType = Leaf Int Int Int | Nil deriving Show 

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

Các someFunction cũng có thể được viết như sau:

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

Xem cách đơn giản hơn là phiên bản đầu tiên?