लैम्बडा के बाध्यकारी में पैटर्न मैच?

Question

हास्केल में, मैं अक्सर कुछ इस तरह करते हैं:

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

लेकिन मैं x नहीं करना चाहती, मैं सिर्फ यह deconstruct करना चाहते हैं।

मानक ML में मैं कुछ इस तरह कर सकते हैं:

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

वहाँ हास्केल में या किसी GHC एक्सटेंशन के साथ यह करने के लिए कोई तरीका है?

Answer 1

आप LambdaCase भाषा एक्सटेंशन का उपयोग करें और अपने उदाहरण के अनुसार

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

प्रदर्शन कर सकते हैं।

आप सवाल करने से पहले अधिक पढ़ सकते हैं इसके बारे में in GHC's documentation