मैं जानना चाहता हूँ कि क्या वैश्विक-मात्रा निर्धारित प्रकार चाहते हैं :
मैं कहेंगे "हाँ": अगर कुछ सच "सभी एक्स के लिए" है ( ), तो यह भी सच है "कुछ एक्स के लिए" होना चाहिए ( )। यही कारण है, 'के साथ एक बयान है ' बस 'के साथ एक ही बयान का एक और अधिक सीमित संस्करण है :'
क्या मैं कहीं गलत हूं?
पृष्ठभूमि: मैं यह क्यों पूछ रहा हूं?
मैं यह समझने के लिए कि मैं क्यों और कैसे "सार [डेटा] प्रकार अस्तित्ववादी प्रकार" के लिए अस्तित्वगत प्रकारों का अध्ययन कर रहा हूं । मैं अकेले सिद्धांत से इस अवधारणा का एक अच्छा समझ नहीं मिल सकता है; मुझे ठोस उदाहरण भी चाहिए।
दुर्भाग्य से, अच्छे कोड उदाहरणों को खोजना मुश्किल है क्योंकि अधिकांश प्रोग्रामिंग भाषाओं में केवल अस्तित्वगत प्रकारों के लिए सीमित समर्थन है। (उदाहरण के लिए, हास्केल
forall
या जावा के?
वाइल्डकार्ड ।) दूसरी ओर, सार्वभौमिक रूप से मात्रात्मक प्रकार "जेनरिक" के माध्यम से कई हालिया भाषाओं द्वारा समर्थित हैं।क्या बुरा है, जेनेरिक आसानी से अस्तित्वगत प्रकारों के साथ मिश्रित होने लगता है , भी, जिससे सार्वभौमिक प्रकारों से अलग अस्तित्व को बताना भी मुश्किल हो जाता है। मैं उत्सुक हूं कि यह मिश्रण इतनी आसानी से क्यों होता है। इस प्रश्न का उत्तर इसे समझा सकता है: यदि सार्वभौमिक प्रकार वास्तव में केवल अस्तित्व के प्रकार का एक विशेष मामला है, तो यह कोई आश्चर्य नहीं है कि जेनेरिक प्रकार, जैसे जावा के
List<T>
, दोनों तरह से व्याख्या की जा सकती है।
forall x. P(x)
तब exists x. P(x)
। प्रकारों की जाँच करते समय क्या प्रकार के सिस्टम इसे ध्यान में रखते हैं ... मुझे पता नहीं है। एक दिलचस्प सवाल के लिए +1।