是否有可能在lambda表達式中使用無可辯駁的波浪符（`〜`）模式？

Question

GHC給我一個parse error on input \~如果我嘗試把一個波浪上的lambda表達式就像我可以在名爲功能

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

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

Answer 1

你必須拉姆達與波浪之間添加一個空格做的模式

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

混亂的來源是因爲\和~是用戶定義的運算符，以便\~被解析爲一個，而不是被解析爲一個lambda表達式的開始都有效字符：

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