मैं पूरे प्रोग्राम प्रकार की जाँच और टाइपिंग सिस्टम के बारे में और जानने की कोशिश कर रहा हूँ जो फ़ंक्शन कॉल साइट्स से जानकारी टाइप जानकारी की गणना करने के लिए (फ़ंक्शन बॉडी का उपयोग करने के मानक दृष्टिकोण के अलावा) का उपयोग करता है। उदाहरण के लिए, ऐसा एल्गोरिथ्म फंक्शन कॉल का उपयोग कर सकता है जैसे foo(1)यह अनुमान लगाने के लिए कि फ़ंक्शन fooपूर्णांक तर्क लेता है। जाहिर है कि यह बहुत जटिल होगा और चेक को गैर-मॉड्यूलर बना देगा।
वैसे भी, मुझे इस दृष्टिकोण पर कोई शोध प्राप्त करने का सौभाग्य नहीं मिला है, क्योंकि शायद मैं यह नहीं जानता कि मैं जो बात कर रहा हूं उसका वर्णन करने के लिए सही शब्दावली क्या है। कोई संकेत?
आप जो वर्णन कर रहे हैं, उसमें द्विदिश प्रकार के अनुमान के संकेत हैं, जब तक कि मैं गलत नहीं हूँ। हालांकि आप क्या करने की कोशिश कर रहे हैं, यह स्पष्ट करना।
—
डोमिनिक मुलिगन
क्या आप पूछ रहे हैं क्योंकि आप बहुरूपी कार्यों को करने का एक तरीका चाहते हैं?
—
9
मैं ज्यादातर केवल टाइप सिस्टम के बारे में और अधिक जानने की कोशिश कर रहा हूं, और हां, मैं ज्यादातर सोच रहा था कि पॉलीमॉर्फिक फ़ंक्शन को कैसे हैंडल किया जाए (और ओओ भाषाओं में विधि कॉल, एक ही बात)। मैं इसके लिए सही शब्दों की पहचान करने की कोशिश कर रहा हूं ताकि मैं इस पर पढ़ सकूं।
—
डेरेक थर्न