Come dare infissi agli operatori in lambda?

Question

Ad esempio, questo non digitare controllare

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

né fa

\(#) -> 5 # 3 # nil 

Sebbene entrambi questi fanno

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

C'è un modo per assegnare infixites agli operatori in lambda . Ho provato

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

che dà un errore per una definizione di # e

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

che è solo un errore di sintassi.

Cosa posso fare?

Answer 1

dichiarazioni fissità possono essere locali ma devono accompagnare le definizioni, in modo che avrebbe dovuto scrivere qualcosa di simile

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

o

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

ecc