क्यों फू [एफ [_], ए] (एफएफ: एफ [ए]) foo (1) स्वीकार करते हैं?

Question

नीचे वर्णित अनुसार मेरे स्कैला 2.11.7 प्रतिकृति में foo(1) पर कॉल क्यों करता है?

scala> def foo[F[_], A](fa: F[A]) = null 
foo: [F[_], A](fa: F[A])Null 

scala> foo(List(1)) 
res0: Null = null 

scala> foo(1) 
res1: Null = null 

foo(1) करने के लिए अपने कॉल में पैरामीटर एक प्रकार निर्माता तो क्यों स्काला repl यह स्वीकार नहीं करता है?

Answer 1

आपका Int, और कक्षा Any स्काला में प्रकार का एक प्रकार निर्माता माना जाता है (क्योंकि एक प्रकार निर्माता और इतने प्रकार पदानुक्रम एक महाप्रकार भी एक प्रकार निर्माता है कि खोजने के लिए विश्लेषण किया जाता है नहीं है) वर्ग Any का एक उदाहरण माना जाता है Nothing।

आप नीचे दिए गए कोड के साथ इस व्यवहार की जाँच कर सकते हैं:

import scala.reflect.runtime.universe._ 

object Main { 
    def foo[F[_], A](fa: F[A])(implicit ev: TypeTag[F[A]], ev2: TypeTag[A]) = { 
    println(ev) 
    println(ev2) 
    println(ev.tpe.typeArgs) 
    println() 
    null 
    } 

    def main(args: Array[String]){ 
    foo(List(1)) 
    foo(1) 
    } 
} 

आउटपुट:

TypeTag[List[Int]] 
TypeTag[Int] 
List(Int) 

TypeTag[Any] 
TypeTag[Nothing] 
List()