Có thể sử dụng các mẫu dấu ngã (`~`) không thể chối cãi trong biểu thức lambda không?

Question

GHC mang lại cho tôi một parse error on input \~ nếu tôi cố gắng đặt một dấu ngã trên mô hình của một biểu thức lambda như tôi có thể làm gì với tên chức năng

let step = \~(x,s) -> run (f x) s -- Parse Error 

let step ~(x, s) = run (f x) s -- Works fine 

Answer 1

Bạn cần phải thêm một khoảng trống giữa lambda và dấu ngã

\ ~(x,s) -> run (f x) s 

các nguồn gốc của sự nhầm lẫn là vì \ và ~ đều ký tự hợp lệ cho người dùng định nghĩa các nhà khai thác để \~ được phân tách như một thay vì được phân tích cú pháp như sự khởi đầu của một biểu thức lambda:

-- Defining a custom \~ operator is allowed: 
let a \~ b = {- ... -}