Container (type theory)
ٹائپ تھیوری میں، کنٹینر تجریدی ہوتے ہیں جو مختلف "مجموعہ کی اقسام"، جیسے فہرستوں اور درختوں کو یکساں انداز میں پیش کرنے کی اجازت دیتے ہیں۔ A (یونری) کنٹینر کی تعریف ایک قسم کی شکلوں S اور پوزیشنوں P کے ایک قسم کے خاندان سے کی جاتی ہے، جسے S کے ذریعہ انڈیکس کیا جاتا ہے۔ کنٹینر کی توسیع منحصر جوڑوں کا ایک خاندان ہے جو ایک شکل (قسم S) پر مشتمل ہوتا ہے اور اس شکل کی پوزیشنوں سے عنصر کی قسم تک فنکشن ہوتا ہے۔ کنٹینرز کو جمع کرنے کی اقسام کے لیے کینونکل شکلوں کے طور پر دیکھا جا سکتا ہے۔ فہرستوں کے لیے، شکل کی قسم قدرتی اعداد (بشمول صفر) ہے۔ متعلقہ پوزیشن کی اقسام ہر شکل کے لیے شکل سے کم قدرتی اعداد کی اقسام ہیں۔ درختوں کے لیے، شکل کی قسم اکائیوں کے درختوں کی قسم ہے (یعنی وہ درخت جن میں کوئی معلومات نہیں ہے، صرف ساخت)۔ متعلقہ پوزیشن کی اقسام ہر شکل کے لیے شکل پر جڑ سے مخصوص نوڈس تک درست راستوں کی اقسام کے لیے آئسومورفک ہوتی ہیں۔ نوٹ کریں کہ قدرتی اعداد اکائیوں کی فہرستوں کے لیے آئسومورفک ہیں۔ عام طور پر شکل کی قسم ہمیشہ اصل غیر جنیرک کنٹینر قسم کے خاندان (فہرست، درخت وغیرہ) کے لیے آئسومورفک ہوگی۔ یونٹ پر لاگو ہوتا ہے۔ کنٹینرز کے تصور کو متعارف کرانے کے اہم محرکات میں سے ایک انحصار سے ٹائپ شدہ ترتیب میں عام پروگرامنگ کی حمایت کرنا ہے۔ مخصوص پہلو کنٹینر کی توسیع ایک اینڈو فنکٹر ہے۔ یہ ایک فنکشن g سے لے کر g تک لے جاتا ہے۔ یہ فہرستوں کے معاملے میں واقف نقشہ g کے مساوی ہے، اور دوسرے کنٹینرز کے لیے کچھ ایسا ہی کرتا ہے۔ انڈیکسڈ کنٹینرز انڈیکسڈ کنٹینرز (جسے منحصر کثیر الجہتی فنکٹر بھی کہا جاتا ہے) کنٹینرز کی عمومی شکل ہے، جو وسیع تر قسم کی نمائندگی کر سکتے ہیں، جیسے کہ ویکٹر (سائز کی فہرستیں)۔ عنصر کی قسم (جسے ان پٹ ٹائپ کہا جاتا ہے) کو شکل اور پوزیشن کے لحاظ سے انڈیکس کیا جاتا ہے، لہذا یہ شکل اور پوزیشن کے لحاظ سے مختلف ہو سکتا ہے، اور توسیع (جسے آؤٹ پٹ ٹائپ کہا جاتا ہے) کو بھی شکل کے لحاظ سے انڈیکس کیا جاتا ہے۔ کنٹینر (تجریدی ڈیٹا ٹائپ) پولینومیل فنکٹر (ٹائپ تھیوری) حوالہ جات بیرونی روابط کنٹینر ٹائپز بلاگ ٹائپ تھیوری