scala - How can I alias a covariant generic type parameter -

-

निम्न कोड संकलित नहीं होता है (स्काला 2.11 में): 

  केस वर्ग कोवेरियंटक्लास [ + आर] (मूल्य: आर) {प्रकार टी = आर डीएफ़ मिलते हैं: आर = मान} वस्तु मुख्य {डीईफ़ मुख्य (एजीआर: एरे [स्ट्रिंग]): यूनिट = {प्रिंट्लएन (कोवेरियंटक्लास [स्ट्रिंग] ("हैलो")। )}}

त्रुटि संदेश है: 

  त्रुटि: (4, 8) संप्रभु प्रकार आर अपरिवर्तनीय स्थिति में टाइप प्रकार आर प्रकार टी प्रकार में होता है टी = आर ^

मैं एक सह प्रकार प्रकार पैरामीटर क्यों नहीं कह सकता? अगर मैं लाइन टाइप T = R को निकालता हूं, तो कोड को संकलित करता है और हैलो प्रिंट करता है, इसलिए उपनाम समस्या लगता है दुर्भाग्य से, इसका मतलब है कि मैं अधिक जटिल प्रकारों के लिए एक उपनाम नहीं बना सकता, उदाहरण के लिए, प्रकार टी = सूची [आर] या तो संकलित नहीं करता है, हालांकि सूची सह-संबंध है।

से:

एक प्रकार का दायां हाथ उपनाम हमेशा अपरिवर्तनीय स्थिति में होता है।

इसका अर्थ है कि आप उपनाम T नहीं बना सकते और दाईं ओर एक प्रकार का प्रकार R निर्दिष्ट कर सकते हैं -हाथ की तरफ। वही सूची [आर] पर लागू होता है, क्योंकि यह भी संप्रदाय है।

आप कर सकते हैं , हालांकि टाइप पैरामीटर के साथ एक प्रकार के उपनाम प्रदान करते हैं: < / P> 

  केस वर्ग CovariantClass [+ R] (मान: आर) {प्रकार टी [+ आर] = सूची [आर] डीईएफ़ मिल: आर = मान}
<पी > यदि आप खुद को टाइप पैरामीटर R उपनाम के लिए चाहते हैं, तो आपको शायद पहले स्थान पर कुछ और नाम देना चाहिए।


Comments

Post a Comment

Popular posts from this blog

c# - SignalR: "Protocol error: Unknown transport." when navigating to hub -

-
Image
I am trying to use the ASP.NET signal for the first time - here's what I did: created a new web Has been added to the project and the following signal R packages: I have created the following category: [Hub-name ("chat")] Public class ChatHub: Hub {Public Zero Halo () {Clients.All.hello ( ); }} and the following startup configuration: public partial class startup {public zero configuration (IAppBuilder app) {configure (app); App.MapSignalR (); }} However, whenever I navigate localhost: (port) / api / signalr / chat I get the following error: Protocol error: Unknown transport. I am running a new browser and trying different people so remove it from the API / URL, and just use the localhost: (potter) / signaller / Chat
Read more

class - Kivy: how to instantiate a dynamic classes in python -

-
Using KV lang on my Python code, I have taken a hard time trying to instantiate a dynamic class, the following Consider the code: My test.kv file looks like this: & lt; MyPopup @ popup: Title: 'Hello' size_hunt: (1, .6) Grid layout: ID: RouteGrid column: 2 padding: ['8dp', '4dp', '8dp', '4dp'] Difference: '8dp' label: text: 'some text here' button: text: 'OK' On_press: do_something () & lt; MyGrid & gt;: Rows: 1 Button: Text: 'Show Popup' on_press: root.pop.show () Then import Kivy.app into my test.py: I get the following error: raise Factory Exception ('Uncount Class' '% name) kivy.factory.FactoryException: Unknown class Can anyone tell me how to do this properly, what do I remember? If you need more information please let me know Thank you. Takes a call to the factory before the KV file is loaded, so you want the class to Are not yet in existence. As long as no clas...
Read more

Registering an Interceptor For All Interface Implementaions in Castle Windsor -

-
I'm quite new to the castle and especially to the Windsor using Interceptors and if it's all across a It is possible to register the interceptor, in return, instead of specifying each implementation, implementing a particular interface. For example, I have an interface called IComponent , which will be implemented by multiple classes. I have a ComponentInterceptor class written to work on these classes when they have performed a particular method, I want to do something like this: _container Register (Component.For & LT; IComponent & gt; () .Interceptors ("ComponentInterceptor") .LifestyleSingleton ()) Rather than what to do: _container.register (Component.For & lt; IComponent & gt; (). ImplementedBy & lt; Componenta & gt; () .Interceptors ("ComponentInterceptor") .LifestyleSingleton ()), _container.Register (Component . & Lt; IComponent & gt; (.) ImplementedBy & LT; ComponentB & gt; () .Interceptors (...
Read more