स्कैला के प्रकट होने की सीमाएं क्या हैं?

Question

स्कैला के Manifest एस जेवीएम की संशोधित जेनरिक की कमी के कारण कुछ प्रकार की मिरर समस्याओं को पाने का एक तरीका है।

उन पर कई अन्य प्रश्नों पर चर्चा की गई है; यहाँ कुछ कर रहे हैं:

• What is a Manifest in Scala and when do you need it?
• How does Scala's (2.8) Manifest work?
• How do I get around type erasure on Scala? Or, why can't I get the type parameter of my collections?
• How can I use Scala's Manifest class to instantiate the erased class at runtime?
• Manifest vs ClassManifest. What does this Scala error mean?

टिप्पणियों में से एक कहा गया है कि "यह सुविधा प्रायोगिक है, और ऐसे मामले हैं जिसमें यह काम नहीं करता है। फिर भी, यह एक लंबा सफर तय कर सकता है। "(डैनियल सोब्राल)

ऐसे मामले क्या हैं जहां मेनिफेस्ट दृष्टिकोण टूट जाता है और क्यों?

Answer 1

सबसे महत्वपूर्ण मामला स्कैला टीमों बग ट्रैकिंग सिस्टम में खुले टिकट होना चाहिए।

• manifests + intersection types violate val-binding abstraction
• Compiler cannot determine implicit Manifest for type constructor
• ClassManifest.typeArguments returns empty list on array manifests
• manifests need to account for variance

मेरा मानना ​​है कि सामान्य विचार है, कि प्रकट होता है की योजना बनाई/आगामी स्काला प्रतिबिंब पुस्तकालय का हिस्सा होगा: मैं निम्नलिखित पाया और Arrays के संदर्भ में उनका उपयोग करने के अलावा "अपने जोखिम पर" (see) है।

Answer 2

एक और:

scala> class C; 
    defined class C 

    scala> trait T; 
    defined trait T 

    scala> manifest[C] <:< manifest[C with T] 
    res0: Boolean = true 

मैं भी यह के बाद से, this के अनुसार, प्रकट होता है 2.10 कीड़े उन लोगों के साथ तो वे फिक्सिंग नहीं कर रहे हैं में पदावनत कर रहे हैं सूचना नहीं है।