स्काला: "किसी भी" और "सभी" कार्यों

Question

मेरी हास्केल * थोड़ा जंग लगी है, तो मैं कल्पना कर सकते हैं कि मैं स्पष्ट याद कर रहा हूँ:

def any[A](s: Traversable[A], f: A => Boolean): Boolean = { 
    s.foldLeft(false)((bool, elem) => bool || f(elem)) 
} 

इन गुणों में से एक है यह लागू होता है?

1. स्काला libs में कहीं पूर्वनिर्धारित
2. परिस्थितिजन्य, और तेजी से कुछ एक लाइनर
3. गलत के रूप में लिखा (मैं इसे परीक्षण नहीं किया था, खेद;))

---

* वास्तव में एसएमएल, लेकिन यह 99% वही है, लेकिन सूरज के नीचे किसी के द्वारा जाना जाता है।

Answer 1

1. यह पूर्वनिर्धारित है और exists कहा जाता है। और forall वह "सब" फ़ंक्शन होगा जिसे आप ढूंढ रहे हैं।

   scala> Vector(3, 4, 5).exists(_ % 2 == 0) 
   res1: Boolean = true 
   
   scala> Vector(3, 4, 5).forall(_ % 2 == 0) 
   res2: Boolean = false 
   

2. आप के साथ एक break (scala.util.control.Breaks से) एक for पाश का उपयोग कर इसे अधिक performant बना सकते हैं। (exists और forall के मानक पुस्तकालय कार्यान्वयन देखें।)

3. यह सही है।

Answer 2

1. नहीं, यह उन नामों के साथ पूर्वनिर्धारित नहीं है। आप ट्रैवर्सबल पैकेज से exists का उपयोग कर सकते हैं।

2. अपने कार्यान्वयन का सबसे बड़ा नुकसान यह है कि वसीयत आवश्यक अपने traversible, के सभी उपभोग जब, any के लिए, यदि कोई हो सच है, यदि पहले से ही आप अपने जवाब दे सकता है। यह all के लिए जाता है। लेकिन कोई आसानी से इसे कार्यान्वित कर सकता है ताकि यह पूरे अनुक्रम का मूल्यांकन न करे। एक और समाधान इस प्रकार के ऑपरेशन के लिए एक मोनैड को लागू करना होगा। तो फिर तुम कहेंगे:

   a and b and c जो बराबर है a.and(b).and(c) को

3. यह सही है।

बीटीडब्ल्यू, मुझे लगता है कि एक और समारोह है जो sum फ़ंक्शन है।

Answer 3

कैसे exists के बारे में:

scala> List(1,2,3).exists(_ > 2) 
res12: Boolean = true 

यह Traversable पर है।

Answer 4

तरीके traversable विशेषता जो any और all के बराबर हैं पर मौजूद हैं:

def all[A](xs: Traversable[A], p: A => Boolean): Boolean = xs forall p 

def any[A](xs: Traversable[A], p: A => Boolean): Boolean = xs exists p