Container (type theory)
টাইপ তত্ত্বে, ধারকগুলি বিমূর্ত যা বিভিন্ন "সংগ্রহের প্রকার", যেমন তালিকা এবং গাছগুলিকে অভিন্ন উপায়ে উপস্থাপন করার অনুমতি দেয়। একটি (ইউনারি) ধারককে এক ধরনের আকার এস এবং এক ধরনের অবস্থান পি পরিবার দ্বারা সংজ্ঞায়িত করা হয়, যা এস দ্বারা সূচীভুক্ত করা হয়। একটি ধারকের সম্প্রসারণ নির্ভরশীল জোড়ার একটি পরিবার যা একটি আকৃতি (প্রকার এস) এবং অবস্থান থেকে একটি ফাংশন নিয়ে গঠিত। কনটেইনারগুলিকে সংগ্রহের প্রকারের জন্য প্রামাণিক রূপ হিসাবে দেখা যেতে পারে। তালিকার জন্য, আকৃতির ধরন হল প্রাকৃতিক সংখ্যা (শূন্য সহ)। সংশ্লিষ্ট অবস্থানের প্রকারগুলি হল প্রতিটি আকৃতির জন্য আকৃতির চেয়ে কম প্রাকৃতিক সংখ্যার প্রকার। গাছের জন্য, আকৃতির ধরন হল একক গাছের ধরন (অর্থাৎ, গাছগুলিতে কোনও তথ্য নেই, কেবল কাঠামো)। সংশ্লিষ্ট অবস্থানের প্রকারগুলি প্রতিটি আকৃতির জন্য মূল থেকে নির্দিষ্ট নোড পর্যন্ত বৈধ পথের প্রকারের সমরূপ। লক্ষ্য করুন যে প্রাকৃতিক সংখ্যাগুলি একক তালিকার সমরূপ। সাধারণভাবে আকৃতির ধরণটি সর্বদা মূল অ-জেনেরিক ধারক ধরনের পরিবারের (তালিকা, গাছ ইত্যাদি) সমতুল্য হবে। ইউনিটে প্রয়োগ করা হয়। আধারের ধারণা প্রবর্তনের অন্যতম প্রধান প্রেরণা হল নির্ভরশীলভাবে টাইপ করা সেটিংসে জেনেরিক প্রোগ্রামিংকে সমর্থন করা। সুনির্দিষ্ট দিক একটি ধারকের সম্প্রসারণ একটি এন্ডফাঙ্কটর। এটি g থেকে g পর্যন্ত একটি ফাংশন নেয় এটি তালিকার ক্ষেত্রে পরিচিত মানচিত্র g-এর সমতুল্য, এবং অন্যান্য ধারকগুলির জন্য অনুরূপ কিছু করে। সূচিবদ্ধ পাত্রে সূচিবদ্ধ পাত্রে (নির্ভরশীল বহুপদী পরিবাহী হিসাবেও পরিচিত) হল পাত্রেগুলির একটি সাধারণীকরণ, যা ভেক্টর (আকারের তালিকা)-এর মতো বিস্তৃত শ্রেণীর প্রতিনিধিত্ব করতে পারে। উপাদানের ধরন (যাকে ইনপুট টাইপ বলা হয়) আকৃতি এবং অবস্থান দ্বারা সূচীভুক্ত করা হয়, তাই এটি আকৃতি এবং অবস্থান দ্বারা পরিবর্তিত হতে পারে এবং সম্প্রসারণ (যাকে আউটপুট টাইপ বলা হয়) আকৃতি দ্বারা সূচীভুক্ত করা হয়। আরও দেখুন কনটেইনার (বিমূর্ত তথ্য প্রকার) পলিনোমিয়াল ফাংক্টর (প্রকার তত্ত্ব) রেফারেন্স বাহ্যিক লিঙ্ক কনটেইনার প্রকার ব্লগ প্রকার তত্ত্ব