Kiểm tra xem Haskell biến phù hợp với lựa chọn kiểu dữ liệu do người dùng định nghĩa

Question

Vì vậy, tôi có một kiểu dữ liệu kiểu như:

data Token = NUM Int | ID String | EOF 

và tôi có một chức năng loại giống như:

doStuff list = let 
     (token, rest) = getToken list 
    in 
     .... 

Vì vậy, những gì tôi muốn làm trong phần ... là thử nghiệm nếu mã thông báo tôi nhận được là NUM hoặc INT hoặc EOF. Tôi có thể nói token==EOF để kiểm tra trường hợp đó, nhưng tôi không thể tìm ra cách để kiểm tra xem mã thông báo có là NUM hoặc INT sử dụng điều kiện không, vì token==(NUM n) và token==NUM cả hai đều dẫn đến lỗi. Tôi biết rằng tôi có thể viết một hàm trợ giúp để thực hiện các công cụ trong ... và tận dụng lợi thế của mẫu phù hợp, nhưng điều đó thực sự làm tổn hại đến khả năng đọc của những gì tôi đang làm, và có vẻ như có một cách để thực hiện việc kiểm tra này. Có ai biết không?

Answer 1

Bạn muốn có một case biểu hiện, như:

case token of 
    NUM n -> foo n 
    ID s -> bar s 
    _  -> hoho 

Đó là cùng một loại phù hợp với mô hình như bạn muốn nhận được nếu bạn đã định nghĩa một hàm riêng.

Answer 2

Một mẹo dễ thương cho việc này là sử dụng cú pháp ghi. Ưu điểm của phương pháp này là nó tiếp tục làm việc ngay cả khi số lượng đối số cho một hàm tạo cụ thể thay đổi. Lưu ý rằng chính loại dữ liệu không cần khai báo bằng cú pháp ghi để tận dụng lợi thế của thủ thuật này.

case token of 
    NUM {} -> ... 
    ID {} -> ... 
    EOF {} -> ...