Container (type theory)
પ્રકાર સિદ્ધાંતમાં, કન્ટેનર એ અમૂર્ત છે જે સૂચિ અને વૃક્ષો જેવા વિવિધ "સંગ્રહ પ્રકારો" ને સમાન રીતે રજૂ કરવાની મંજૂરી આપે છે. A (યુનરી) કન્ટેનરને આકાર S ના પ્રકાર અને સ્થિતિ P ના પ્રકાર પરિવાર દ્વારા વ્યાખ્યાયિત કરવામાં આવે છે, જે S દ્વારા અનુક્રમિત હોય છે. કન્ટેનરનું વિસ્તરણ એ આશ્રિત જોડીઓનું એક કુટુંબ છે જેમાં આકાર (પ્રકાર S) નો સમાવેશ થાય છે અને તે આકારની સ્થિતિથી તત્વ પ્રકાર સુધી કાર્ય કરે છે. કન્ટેનરને સંગ્રહના પ્રકારો માટે કેનોનિકલ સ્વરૂપો તરીકે જોઈ શકાય છે. યાદીઓ માટે, આકારનો પ્રકાર એ પ્રાકૃતિક સંખ્યાઓ (શૂન્ય સહિત) છે. અનુરૂપ સ્થિતિ પ્રકારો એ દરેક આકાર માટે આકાર કરતા ઓછી કુદરતી સંખ્યાઓના પ્રકારો છે. વૃક્ષો માટે, આકારનો પ્રકાર એકમોના વૃક્ષોનો પ્રકાર છે (એટલે કે, જેમાં કોઈ માહિતી ન હોય તેવા વૃક્ષો, માત્ર માળખું). અનુરૂપ સ્થિતિ પ્રકારો દરેક આકાર માટે આકાર પર મૂળથી ચોક્કસ ગાંઠો સુધીના માન્ય માર્ગોના પ્રકારો માટે સમરૂપ છે. નોંધ લો કે પ્રાકૃતિક સંખ્યાઓ એકમોની સૂચિ માટે સમરૂપ છે. સામાન્ય રીતે આકારનો પ્રકાર હંમેશા મૂળ બિન-સામાન્ય કન્ટેનર પ્રકાર પરિવાર (સૂચિ, વૃક્ષ વગેરે) માટે સમરૂપ રહેશે. એકમ લાગુ પડે છે. કન્ટેનરની કલ્પનાને રજૂ કરવા માટેની મુખ્ય પ્રેરણાઓમાંની એક એ છે કે આશ્રિત રીતે ટાઇપ કરેલ સેટિંગમાં સામાન્ય પ્રોગ્રામિંગને ટેકો આપવો. સ્પષ્ટ પાસાઓ કન્ટેનરનું વિસ્તરણ એ એન્ડફંક્ટર છે. આ સૂચિઓના કિસ્સામાં પરિચિત નકશા g ની સમકક્ષ છે, અને અન્ય કન્ટેનર માટે કંઈક આવું જ કરે છે. અનુક્રમિત કન્ટેનર અનુક્રમિત કન્ટેનર (જેને આશ્રિત બહુપદી ફંકટર તરીકે પણ ઓળખવામાં આવે છે) એ કન્ટેનરનું સામાન્યીકરણ છે, જે વેક્ટર (કદની સૂચિ) જેવા પ્રકારોના વિશાળ વર્ગનું પ્રતિનિધિત્વ કરી શકે છે. તત્વનો પ્રકાર (ઇનપુટ પ્રકાર તરીકે ઓળખાય છે) આકાર અને સ્થિતિ દ્વારા અનુક્રમિત થાય છે, તેથી તે આકાર અને સ્થિતિ દ્વારા બદલાઈ શકે છે, અને વિસ્તરણ (આઉટપુટ પ્રકાર તરીકે ઓળખાય છે) પણ આકાર દ્વારા અનુક્રમિત થાય છે. આ પણ જુઓ કન્ટેનર (અમૂર્ત માહિતી પ્રકાર) બહુપદી ફંક્શન (પ્રકાર સિદ્ધાંત) સંદર્ભો બાહ્ય કડીઓ કન્ટેનર પ્રકારો બ્લોગ પ્રકાર સિદ્ધાંત