È possibile utilizzare modelli di tilde (`~`) irrefutabili nelle espressioni lambda?

Question

GHC mi dà un parse error on input \~ se provo a mettere una tilde sul modello di un'espressione lambda come è possibile fare con funzioni denominate

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

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

Answer 1

È necessario aggiungere uno spazio tra il lambda e la tilde

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

la fonte della confusione è perché \ e ~ sono entrambi validi per gli operatori definiti dall'utente così \~ viene analizzata come uno invece di essere analizzato come l'inizio di un'espressione lambda:

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