模式匹配綁定的lambda？

Question

在Haskell，我經常做這樣的事情：

f $ \x -> case x of 
      A a1 a2 -> ... 
      B b1 b2 -> ... 
      C c1 c2 -> ... 

但我不想x，我只是想解構它。

標準ML我可以做這樣的事情：

f (fn A(a1,a2) => ... 
    | B(b1,b2) => ... 
    | C(c1,c2) => ...) 

有沒有辦法在Haskell或與任何GHC擴展做到這一點？

Answer 1

您可以使用LambdaCase語言擴展，並執行

{-# LANGUAGE LambdaCase #-} 
... 
f $ \case 
    A a1 a2 -> 
... 

按你的例子​​。

可以使問題之前閱讀更多關於它in GHC's documentation