Làm thế nào để cung cấp cho infixities cho các nhà khai thác trong lambda?

Question

Ví dụ, điều này không gõ kiểm tra

\cons nil -> 5 `cons` 3 `cons` nil 

cũng không thực hiện điều này

\(#) -> 5 # 3 # nil 

Mặc dù cả hai làm

\cons nil -> 5 `cons` nil 
\(#) nil -> 5 # nil 

Có cách nào để gán infixites để khai thác trong lambdas . Tôi cố gắng

infixr 5 # 
foo = \(#) nil -> 5 # 3 # nil 

mang đến cho một lỗi mà không có định nghĩa về # và

foo = \(infixr 5 #) nil -> 5 # 3 # nil 

mà chỉ là một lỗi cú pháp.

Tôi có thể làm gì?

Answer 1

tờ khai tính cố định có thể được địa phương nhưng phải kèm các định nghĩa, vì vậy bạn sẽ phải viết một cái gì đó giống như

foo cons nil = 'a' # 'b' # nil 
    where (#) = cons 
     infixr 5 # 

hoặc

foo = \cons nil -> let (#) = cons; infixr 5 # in 'a' # 'b' # nil 

, vv