模式匹配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