क्या एफ # में विघटित अनुक्रमों से मेल खाना संभव है?

Question

मुझे सूचियों की तरह मिलान अनुक्रमों के दौरान संरचनात्मक अपघटन की अनुमति देने वाले F # का पुराना संस्करण याद रखना प्रतीत होता है। अनुक्रम आलसी रखते हुए सूची वाक्यविन्यास का उपयोग करने का कोई तरीका है? मैं Seq.head और Seq.skip 1. करने के लिए कॉल का एक बहुत

मैं की तरह कुछ के लिए आशा करती हूं कि से बचने के लिए आशा करती हूं कि:

let decomposable (xs:seq<'a>) = 
    match xs with 
    | h :: t -> true 
    | _ -> false 
seq{ 1..100 } |> decomposable 

लेकिन यह केवल सूचियों संभालती है और एक प्रकार की त्रुटि जब देता है अनुक्रमों का उपयोग करना। List.of_seq का उपयोग करते समय, यह अनुक्रम में सभी तत्वों का मूल्यांकन करने लगता है, भले ही यह अनंत है।

Answer 1

यदि आप पावरपैक में LazyList प्रकार का उपयोग करते हैं, तो इसमें LazyList.Nil और LazyList नामक सक्रिय पैटर्न हैं। इस के लिए बहुत अच्छे हैं।

seq/IEnumerable प्रकार पैटर्न मिलान के लिए अनुकूल नहीं है; मैं इसके लिए LazyList की अत्यधिक अनुशंसा करता हूं। (Why is using a sequence so much slower than using a list in this example भी देखें।)

let s = seq { 1..100 } 
let ll = LazyList.ofSeq s 
match ll with 
| LazyList.Nil -> printfn "empty" 
| LazyList.Cons(h,t) -> printfn "head: %d" h 

Answer 2

सेक सक्रिय पैटर्न में ठीक काम करता है! जब तक मैं कुछ यहाँ भयानक ...

let (|SeqEmpty|SeqCons|) (xs: 'a seq) = //' 
    if Seq.isEmpty xs then SeqEmpty 
    else SeqCons(Seq.head xs, Seq.skip 1 xs) 

// Stupid example usage 
let a = [1; 2; 3] 

let f = function 
    | SeqEmpty -> 0 
    | SeqCons(x, rest) -> x 

let result = f a 

कर रहा हूँ मैं कैसे StackOverflow के कोड एफ # मोड में प्रकाश डाला पाने के लिए पता नहीं है, मुझे लगता है कि इसे यहाँ OCaml का उपयोग कर तो सामान्य एनोटेशन निराला चला जाता है ...

Answer 3

याद रखें कि सीएसी मानचित्रों को भी कम करता है, इसलिए आप अक्सर उन लोगों से दूर हो सकते हैं। उदाहरण में, आपका कार्य "Seq.isEmpty" के बराबर है। आप एफएसआई लॉन्च करने का प्रयास कर सकते हैं और टैब पूर्णता विकल्पों के माध्यम से चला सकते हैं ("सेक" दर्ज करें और टैब को बहुत हिट करें); यह हो सकता है कि आप क्या चाहते हैं।