higher-rank-types पर टैग किए गए जवाब

मैं वास्तव में हास्केल में कुशल नहीं हूं, इसलिए यह एक बहुत आसान सवाल हो सकता है। रैंक 2Types किस भाषा की सीमा को हल करते हैं? हास्केल में कार्य पहले से ही बहुरूपी तर्कों का समर्थन नहीं करते हैं?

110 haskell  types  polymorphism  higher-rank-types 

मेरे पास एक विशेषता है जो एक संबद्ध प्रकार के deserializing के लिए एक फ़ंक्शन है। हालाँकि, उस संबद्ध प्रकार को आजीवन रहने की आवश्यकता होती है, जिसे कॉल करने वाला तय करता है, इसलिए मेरे पास एक अलग विशेषता है कि मैं उच्च श्रेणी के लिए बाध्य विशेषता का …

11 rust  traits  higher-rank-types