Container (type theory)
வகைக் கோட்பாட்டில், கொள்கலன்கள் என்பது பட்டியல்கள் மற்றும் மரங்கள் போன்ற பல்வேறு "சேகரிப்பு வகைகளை" ஒரே மாதிரியான முறையில் பிரதிநிதித்துவப்படுத்த அனுமதிக்கும் சுருக்கங்கள் ஆகும். ஒரு (யூனரி) கொள்கலன் ஒரு வகை வடிவங்கள் எஸ் மற்றும் நிலைகளின் ஒரு வகை குடும்பத்தால் வரையறுக்கப்படுகிறது, எஸ் குறியிடப்படுகிறது. ஒரு கொள்கலனின் நீட்டிப்பு என்பது ஒரு வடிவம் (வகை எஸ்) மற்றும் அந்த வடிவத்தின் நிலைகளிலிருந்து உறுப்பு வகைக்கு ஒரு செயல்பாட்டைக் கொண்ட சார்பு ஜோடிகளின் குடும்பமாகும். கொள்கலன்களை சேகரிப்பு வகைகளுக்கான நியம வடிவங்களாகக் காணலாம். பட்டியல்களைப் பொறுத்தவரை, வடிவ வகை என்பது இயல்பான எண்கள் (பூஜ்ஜியம் உட்பட) ஆகும். தொடர்புடைய நிலை வகைகள் என்பது ஒவ்வொரு வடிவத்திற்கும் வடிவத்தை விட குறைவான இயற்கை எண்களின் வகைகளாகும். மரங்களைப் பொறுத்தவரை, வடிவ வகை என்பது அலகுகளின் மரங்களின் வகை (அதாவது, அவற்றில் எந்த தகவலும் இல்லாத மரங்கள், வெறும் அமைப்பு). தொடர்புடைய நிலை வகைகள் ஒவ்வொரு வடிவத்திற்கும், வடிவத்தில் உள்ள மூலத்திலிருந்து குறிப்பிட்ட முனைகளுக்கு செல்லுபடியாகும் பாதைகளின் வகைகளுக்கு ஐசோமார்பிக் ஆகும். இயற்கையான எண்கள் அலகுகளின் பட்டியல்களுக்கு ஐசோமார்பிக் என்பதை நினைவில் கொள்க. பொதுவாக வடிவ வகை எப்போதும் அசல் ஜெனரிக் அல்லாத கொள்கலன் வகை குடும்பத்திற்கு (பட்டியல், மரம் போன்றவை) ஐசோமார்பிக் ஆக இருக்கும். அலகுக்கு பயன்படுத்தப்பட்டது. கொள்கலன்கள் என்ற கருத்தை அறிமுகப்படுத்துவதற்கான முக்கிய உந்துதல்களில் ஒன்று, சார்ந்து தட்டச்சு செய்யப்பட்ட அமைப்பில் பொதுவான நிரலாக்கத்தை ஆதரிப்பதாகும். வகைப்படுத்தப்பட்ட அம்சங்கள் ஒரு கொள்கலனின் நீட்டிப்பு ஒரு எண்டோஃபங்க்ட்டர் ஆகும். இது ஒரு செயல்பாட்டை எடுக்கும் g இது பட்டியல்களின் விஷயத்தில் பழக்கமான வரைபடத்திற்கு சமம், மேலும் மற்ற கொள்கலன்களுக்கு ஒத்த ஒன்றைச் செய்கிறது. குறியீட்டு கொள்கலன்கள் குறியீட்டு கொள்கலன்கள் (சார்பு பல்லுறுப்புக்கோவை செயல்பாடுகள் என்றும் அழைக்கப்படுகின்றன) என்பது கொள்கலன்களின் பொதுமைப்படுத்தலாகும், அவை திசையன்கள் (அளவிலான பட்டியல்கள்) போன்ற பரந்த வகை வகைகளைக் குறிக்கலாம். உறுப்பு வகை (உள்ளீட்டு வகை என்று அழைக்கப்படுகிறது) வடிவம் மற்றும் நிலைப்பாட்டின் அடிப்படையில் குறியிடப்படுகிறது, எனவே இது வடிவம் மற்றும் நிலைப்பாட்டின் அடிப்படையில் மாறுபடும், மேலும் நீட்டிப்பு (வெளியீட்டு வகை என்று அழைக்கப்படுகிறது) வடிவத்தின் அடிப்படையில் குறியிடப்படுகிறது. கொள்கலன் (சுருக்க தரவு வகை) பல்லுறுப்புக்கோவை செயல்பாட்டாளர் (வகை கோட்பாடு) குறிப்புகள் வெளிப்புற இணைப்புகள் கொள்கலன் வகைகள் வலைப்பதிவு வகை கோட்பாடு