रीड्स को कॉन्वेंट नहीं घोषित किया गया है?

Question

क्यों खेलते-json Reads विशेषता घोषित नहीं किया गया है covariant:

trait Reads[+A] 

संबंधित सार: https://gist.github.com/robertberry/9410272

सहप्रसरण/contravariance implicits के साथ हस्तक्षेप करता है?

या वैकल्पिक रूप से, सीलबंद लक्षणों के लिए Reads उदाहरण कैसे लिखें? https://gist.github.com/phadej/c60912802dc494c3212b

Answer 1

यह कॉन्वेंटेंट हो सकता है, खासकर जब आप Reads[A] को JsValue => A के एक समृद्ध रूप के रूप में देखते हैं।

लेकिन .... implicitness।

Reads[A] न केवल सिर्फ एक रास्ता JsValue से कन्वर्ट करने के लिए A के लिए है, यह तरीका है।

तो अगर हम

sealed trait Foo 
case class Bar(a: Int) 
case class Baz(b: Int) 

था आप एक Reads[Bar] परिभाषित हैं, तो आप भी (सहप्रसरण साथ) एक Reads[Foo] होगा।

यह थोड़ा अजीब हो सकता है।

object Foo { 
    implicit reads: Reads[Foo] = 
    implicitly[Reads[Bar]].orElse[implicitly[Reads[Baz]]] 
} 
object Bar { 
    implicit reads = Json.reads[Bar] // {"a":0} 
} 
object Baz { 
    implicit reads = Json.reads[Baz] // {"b":0} 

    def blah(jsValue: JsValue): Foo = jsValue.as[Foo] 
} 
object Main { 
    def blah(jsValue: JsValue): Foo = jsValue.as[Foo] 
} 

Baz.blah और Main.blah में क्या हो रहा है? पूर्व Baz.reads का उपयोग करता है, और बाद में (जटिल) निहित संकल्प आदेश के कारण Foo.reads का उपयोग करता है।

यह बढ़त मामला है, और मैं अभी भी लगता है कि आप सहप्रसरण के लिए एक अच्छा तर्क कर सकता है, लेकिन यह बीच का अंतर दिखाने करता है "बात संभवतः Foo में JSON पार्स कर सकते हैं" और "बात यह है कि सभी में JSON पार्स कर सकते हैं संभव Foo "।

Answer 2

मान लीजिए Reads कॉन्वर्सेंट थे।

sealed trait Foo { def name: String } 
case class Bar(name: String, i: Int) extends Foo 
case class Baz(name: String, c: Char) extends Foo 

और मामले वर्गों में से एक के लिए एक Reads उदाहरण: मैं एक साधारण प्रकार पदानुक्रम मिल गया है

import play.api.libs.functional.syntax._ 
import play.api.libs.json._ 

implicit val readsBar: Reads[Bar] = (
    (__ \ 'name).read[String] and (__ \ 'i).read[Int] 
)(Bar.apply _) 

लेकिन Bar <: Foo, तो Reads[Bar] <: Reads[Foo], और यह कोई बनाता है भावना-मैं नहीं है Baz को डीकोड करने के तरीके के बारे में कुछ भी कहा, इसलिए मुझे स्पष्ट रूप से Reads[Foo] नहीं है।

एक बेहतर सवाल यह हो सकता है कि Reads contravariant क्यों नहीं है।