अंतर्निहित पैरामीटर संकल्प

Question

निम्न कोड पर विचार करें:

object foo { 

    trait Bar[Q[_]] 

    implicit object OptionBar extends Bar[Option] 

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() 

    def main(args: Array[String]) { 
     test(Some(42): Option[Int]) //??? 
    } 
} 

यह काम करता है, लेकिन मैं कुछ (42) के रूप में विकल्प [इंट] है, और अंतर्निहित वस्तु OptionBar नहीं होगा टाइप करने की आवश्यकता हल किया गया (क्योंकि इसके बजाय एक बार [कुछ] की उम्मीद है)। क्या स्पष्ट टाइपिंग से बचने का कोई तरीका है, ताकि मैं परीक्षण में ऑब्जेक्टबार ऑब्जेक्ट प्राप्त कर सकूं, भले ही मैं कुछ या किसी के साथ परीक्षण खिलाऊं?

[स्पष्टीकरण]

• मैं यहाँ विकल्प का इस्तेमाल किया सिर्फ उदाहरण के रूप में, यह भी है कि अगर मैं एक अमूर्त वर्ग आदि के लिए एक Bar है
• समाधान भी काम करना चाहिए जब अन्य, असंबंधित बार्स हैं काम करना चाहिए दायरे में, कहते हैं कि implicit object listBar extends Bar[list]

[अपडेट]

ऐसा लगता है कि बार की पैरामीटर contravariant बनाने टी करता है उन्होंने चाल:

object foo { 

    trait Bar[-Q[_]] //<--------------- 

    implicit object OptionBar extends Bar[Option] 
    implicit object ListBar extends Bar[List] 

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() 

    def main(args:Array[String]) { 
    test(Some(42)) 
    } 
} 

लेकिन निश्चित रूप से इस बार में संभावनाओं की एक गंभीर सीमा है, इसलिए मैं अभी भी एक बेहतर जवाब के लिए उम्मीद है।

Answer 1

यह सभी मामलों में काम करने के लिए नहीं जा रहा है, लेकिन जैसा कि कहा गया है, आप यह कोशिश कर सकते हैं:

def test[T, C[_], D <: C[T]](c: D)(implicit bar: Bar[C]) =() 

: हालांकि यह एक ही बात को व्यक्त करता है

object foo { 
    trait Bar[Q[_]] 

    implicit object OptionBar extends Bar[Option] 

    def test[T, C[_], D](c: D)(implicit bar: Bar[C], ev: D <:< C[T]) =() 

    def main(args: Array[String]) { 
    test(Some(42)) //??? 
    } 
} 

दिलचस्प है, इस अनुमान नहीं करता है,

<:< के बारे में अधिक जानकारी के लिए देखें:

• What do <:<, <%<, and =:= mean in Scala 2.8, and where are they documented?
• <:< operator in scala

Answer 2

क्योंकि Some(42) है कि Option[Int] तुलना में एक अधिक विशिष्ट प्रकार है। यह Some[Int] है। नीचे वैकल्पिक कोडिंग देखें:

object foo { 

    trait Bar[Q[_]] 

    implicit object OptionBar extends Bar[Option] 

    def test[T, C[_]](c: C[T])(implicit bar: Bar[C]) =() 

    def main(args: Array[String]) { 
     test(Option(42)) 
    } 
}