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