समझौता `निराकार

Question

की Shapeless Features Overview Monomorphism` उदाहरण निम्न उदाहरण दिखाता है:

import poly._ 

// choose is a function from Sets to Options with no type specific cases 
object choose extends (Set ~> Option) { 
    def apply[T](s : Set[T]) = s.headOption 
} 

scala> choose(Set(1, 2, 3)) 
res0: Option[Int] = Some(1) 

scala> choose(Set('a', 'b', 'c')) 
res1: Option[Char] = Some(a) 

हालांकि, मैं नहीं करते हैं, निराकार के साथ अनुभव के मीटर अभाव में, निम्नलिखित कि और के बीच अंतर समझना:

scala> def f[T](set: Set[T]): Option[T] = set.headOption 
f: [T](set: Set[T])Option[T] 

scala> f(Set(1,2,3)) 
res0: Option[Int] = Some(1) 

scala> f(Set('a', 'b', 'c')) 
res1: Option[Char] = Some(a) 

Answer 1

यहां महत्वपूर्ण अंतर यह है कि choose एक ऐसा कार्य है जिसे मूल्य के रूप में पारित किया जा सकता है। तुम एक (उचित) मूल्य f से बाहर नहीं कर सकते हैं, के बाद से स्काला बहुरूपी समारोह मूल्यों का समर्थन नहीं करता:

scala> val fun = f _ 
fun: Set[Nothing] => Option[Nothing] = <function1> 

जैसा कि आप देख, स्काला Nothing के तत्व प्रकार गैर खाली सेट के लिए बेकार समारोह प्रतिपादन ठीक करता है:

scala> fun(Set(1)) 
<console>:10: error: type mismatch; 
found : Int(1) 
required: Nothing 
       fun(Set(1)) 
        ^

यह काम करता है जैसा कि आप बेकार दृष्टिकोण के साथ अपेक्षा करेंगे।