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