Ist es möglich, unwiderlegbare Tilde (`~`) Muster in Lambda-Ausdrücken zu verwenden?

Question

GHC gibt mir ein parse error on input \~ wenn ich versuche, eine Tilde auf dem Muster einer Lambda-Ausdruck zu bringen, wie ich mit dem Namen Funktionen tun können

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

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

Answer 1

Sie haben einen Raum zwischen dem Lambda und der Tilde

hinzufügen

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

die Quelle der Verwirrung ist, weil \ und ~ beide gültige Zeichen für Benutzer definierten Operatoren sind so \~ als eine geparst wird statt als Beginn eines Lambda-Ausdruck geparst werden:

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