existential-type पर टैग किए गए जवाब

मैं विकिपीडिया लेख अस्तित्व प्रकार के माध्यम से पढ़ा । मैं इकट्ठा हुआ कि वे अस्तित्वगत प्रकार कहलाते हैं क्योंकि अस्तित्वगत ऑपरेटर (exist)। मुझे यकीन नहीं है कि इसके बारे में क्या बात है, हालांकि। के बीच क्या अंतर है T = ∃X { X a; int f(X); } तथा …

171 language-agnostic  types  type-systems  existential-type 

मैं हास्केल में अस्तित्व के प्रकारों को समझने की कोशिश कर रहा हूं और एक पीडीएफ http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf आया कृपया अब तक की मेरी समझ को कम करें। अस्तित्वगत प्रकारों में उनकी रुचि के प्रकार नहीं प्रतीत होते हैं, लेकिन उनका मिलान करने वाले पैटर्न कहते हैं कि कुछ प्रकार मौजूद …

10 haskell  gadt  existential-type