यह एक बहुत ही सरल प्रश्न हो सकता है।
लेकिन प्रकार और प्रकार के बीच अंतर क्या है?
मेरी वर्तमान समझ यह है कि आपके पास टाइप नियमों के साथ एक प्रकार का सिद्धांत है जो एक अच्छी तरह से टाइप किए गए कथन की धारणा देता है लेकिन प्रकार अधिक बुनियादी होते हैं, प्रतीकों को विभिन्न प्रकार के प्रतीकों में विभेदित करते हैं और फ़ंक्शन एप्लिकेशन आदि पर बुनियादी नियमों को पेश करते हैं।
शायद थोड़ा अंतर है, शायद वे विभिन्न क्षेत्रों से आते हैं। लेकिन मुझे उनके संबंध का स्पष्ट विवरण नहीं मिल रहा है।
1
शब्दों का अर्थ संदर्भ पर निर्भर करता है। क्या आप उन प्रकारों और प्रकारों के उपयोग के उदाहरण दे सकते हैं, जिनके बारे में आप पूछ रहे हैं ?:
—
जेरेमी
और फिर प्रकार हैं। और कक्षाएं।
—
लुकास्टी
@ जेरेमी उत्तर ने मुझे संबंध की स्पष्ट तस्वीर दी है। मेरे पास कोई उदाहरण नहीं था जहां मैं स्पष्ट नहीं था कि किसी विशेष स्थिति में क्या हो रहा है, लेकिन सोच रहा था कि क्या किसी विशेष शब्द को चुनने में कोई महत्व था। धन्यवाद।
—
सेलिग
के अनुसार "प्रकार" पर विकिपीडिया प्रविष्टि , एक
—
डेविड टोनहोफर
kindएक के प्रकार है प्रकार निर्माता या कम सामान्य, एक उच्च क्रम प्रकार ऑपरेटर के प्रकार।