1
आश्रित प्रकारों के लिए प्रकार का अनुमान क्या अनिर्दिष्ट है?
मैंने यह उल्लेख किया है कि आश्रित प्रकार की प्रणालियाँ हीन नहीं हैं, लेकिन जाँच योग्य हैं। मैं सोच रहा था कि ऐसा क्यों है की एक सरल व्याख्या है, और क्या "निर्भरता" की कोई सीमा है या नहीं, जहां प्रकारों को मूल्यों द्वारा अनुक्रमित किया जा सकता है, नीचे …