Cú pháp haskell này là gì?

Question

Tôi chỉ cần chạy qua cú pháp sau đây trong một đoạn mã Haskell -

data A = A Int Int | B 

m :: A -> Int 
m a = case a of 
    A{} -> 1 
    _ -> 2 

các A{} làm gì ở đây là gì? Liệu số {} có tự động khớp với bất kỳ số đối số nào không?

Tôi có cảm giác rằng điều này đang khai thác thực tế là cú pháp bản ghi Haskell desugars đến một loạt các hàm và một kiểu dữ liệu đại số thông thường. Đó là trường hợp?

Answer 1

Có, A{} khớp với bất kỳ giá trị nào được tạo bằng công cụ xây dựng A, bất kể loại đã được khai báo có cú pháp ghi hay không.

Các language report định

Khái niệm F {}, trong đó F là một nhà xây dựng dữ liệu, là hợp pháp hay không F được khai báo với cú pháp kỷ lục (với điều kiện F không có lĩnh vực nghiêm ngặt - xem viên đạn thứ tư trên); nó biểu thị F ⊥1… ⊥n, trong đó n là số nguyên của F.

'bullet thứ tư' được đề cập trong ngoặc đơn nói rằng đó là lỗi tĩnh để xây dựng giá trị với cú pháp ghi cánh đồng.

Và trong phần trên pattern matching, một trong những quy tắc ngữ pháp cho mô hình là

apat -> qcon { fpat1 , … , fpatk }  (labeled pattern, k ≥ 0) 

và ngữ nghĩa được đưa ra trong tiểu mục trên ngữ nghĩa chính thức của mô hình khớp (3.17.3) như

(o) case v of { K {} -> e ; _ -> e′ } 
     = case v of { 
      K _… _ -> e ; _ -> e′ }