Container (type theory)
ಮಾದರಿ ಸಿದ್ಧಾಂತದಲ್ಲಿ, ಧಾರಕಗಳು ಪಟ್ಟಿಗಳು ಮತ್ತು ಮರಗಳಂತಹ ವಿವಿಧ "ಸಂಗ್ರಹ ಪ್ರಕಾರಗಳನ್ನು" ಏಕರೂಪದ ರೀತಿಯಲ್ಲಿ ಪ್ರತಿನಿಧಿಸಲು ಅನುವು ಮಾಡಿಕೊಡುವ ಅಮೂರ್ತತೆಗಳಾಗಿವೆ. ಎ (ಯೂನರಿ) ಧಾರಕವನ್ನು ಎಸ್ ಆಕಾರಗಳ ಒಂದು ಪ್ರಕಾರ ಮತ್ತು ಪಿ ಸ್ಥಾನಗಳ ಒಂದು ಪ್ರಕಾರದ ಕುಟುಂಬದಿಂದ ವ್ಯಾಖ್ಯಾನಿಸಲಾಗಿದೆ, ಇದನ್ನು ಎಸ್ ನಿಂದ ಸೂಚ್ಯಂಕ ಮಾಡಲಾಗಿದೆ. ಧಾರಕದ ವಿಸ್ತರಣೆಯು ಒಂದು ಆಕಾರವನ್ನು (ಎಸ್ ಪ್ರಕಾರದ) ಒಳಗೊಂಡಿರುವ ಅವಲಂಬಿತ ಜೋಡಿಗಳ ಕುಟುಂಬವಾಗಿದೆ ಮತ್ತು ಆ ಆಕಾರದ ಸ್ಥಾನಗಳಿಂದ ಅಂಶದ ಪ್ರಕಾರಕ್ಕೆ ಒಂದು ಕಾರ್ಯವಾಗಿದೆ. ಧಾರಕಗಳನ್ನು ಸಂಗ್ರಹ ಪ್ರಕಾರಗಳಿಗೆ ಅಂಗೀಕೃತ ರೂಪಗಳಾಗಿ ಕಾಣಬಹುದು. ಪಟ್ಟಿಗಳಿಗೆ, ಆಕಾರದ ಪ್ರಕಾರವು ನೈಸರ್ಗಿಕ ಸಂಖ್ಯೆಗಳಾಗಿವೆ (ಶೂನ್ಯವನ್ನು ಒಳಗೊಂಡಂತೆ). ಅನುಗುಣವಾದ ಸ್ಥಾನದ ಪ್ರಕಾರಗಳು ಪ್ರತಿ ಆಕಾರಕ್ಕೂ ಆಕಾರಕ್ಕಿಂತ ಕಡಿಮೆ ಇರುವ ನೈಸರ್ಗಿಕ ಸಂಖ್ಯೆಗಳ ಪ್ರಕಾರಗಳಾಗಿವೆ. ಮರಗಳಿಗೆ, ಆಕಾರದ ಪ್ರಕಾರವು ಘಟಕಗಳ ಮರಗಳ ಪ್ರಕಾರವಾಗಿದೆ (ಅಂದರೆ, ಅವುಗಳಲ್ಲಿ ಯಾವುದೇ ಮಾಹಿತಿಯಿಲ್ಲದ ಮರಗಳು, ಕೇವಲ ರಚನೆ). ಅನುಗುಣವಾದ ಸ್ಥಾನದ ಪ್ರಕಾರಗಳು ಪ್ರತಿ ಆಕಾರಕ್ಕೂ ಮೂಲದಿಂದ ನಿರ್ದಿಷ್ಟ ನೋಡ್ಗಳವರೆಗಿನ ಮಾನ್ಯ ಮಾರ್ಗಗಳ ಪ್ರಕಾರಗಳಿಗೆ ಸಮರೂಪವಾಗಿವೆ. ನೈಸರ್ಗಿಕ ಸಂಖ್ಯೆಗಳು ಘಟಕಗಳ ಪಟ್ಟಿಗಳಿಗೆ ಸಮರೂಪವಾಗಿವೆ ಎಂಬುದನ್ನು ಗಮನಿಸಿ. ಸಾಮಾನ್ಯವಾಗಿ ಆಕಾರದ ಪ್ರಕಾರವು ಯಾವಾಗಲೂ ಮೂಲ ಜೆನೆರಿಕ್ ಅಲ್ಲದ ಧಾರಕ ಪ್ರಕಾರದ ಕುಟುಂಬಕ್ಕೆ (ಪಟ್ಟಿ, ಮರ ಇತ್ಯಾದಿ) ಸಮರೂಪವಾಗಿರುತ್ತದೆ. ಘಟಕಕ್ಕೆ ಅನ್ವಯಿಸಲಾಗಿದೆ. ಧಾರಕಗಳ ಕಲ್ಪನೆಯನ್ನು ಪರಿಚಯಿಸುವ ಮುಖ್ಯ ಪ್ರೇರಣೆಗಳಲ್ಲಿ ಒಂದೆಂದರೆ ಅವಲಂಬಿತವಾಗಿ ಟೈಪ್ ಮಾಡಲಾದ ವ್ಯವಸ್ಥೆಯಲ್ಲಿ ಸಾಮಾನ್ಯ ಪ್ರೋಗ್ರಾಮಿಂಗ್ ಅನ್ನು ಬೆಂಬಲಿಸುವುದು. ವರ್ಗೀಕರಣದ ಅಂಶಗಳು ಧಾರಕದ ವಿಸ್ತರಣೆಯು ಒಂದು ಎಂಡೋಫಂಕ್ಟರ್ ಆಗಿದೆ. ಇದು g ನಿಂದ g ಕಾರ್ಯವನ್ನು ತೆಗೆದುಕೊಳ್ಳುತ್ತದೆ ಇದು ಪಟ್ಟಿಗಳ ಸಂದರ್ಭದಲ್ಲಿ ಪರಿಚಿತ ನಕ್ಷೆ g ಗೆ ಸಮನಾಗಿರುತ್ತದೆ ಮತ್ತು ಇತರ ಧಾರಕಗಳಿಗೆ ಹೋಲುತ್ತದೆ. ಸೂಚ್ಯಂಕದ ಧಾರಕಗಳು ಸೂಚ್ಯಂಕದ ಧಾರಕಗಳು (ಅವಲಂಬಿತ ಬಹುಪದೀಯ ಫಂಕ್ಟರ್ಗಳು ಎಂದೂ ಕರೆಯಲ್ಪಡುತ್ತವೆ) ಧಾರಕಗಳ ಸಾಮಾನ್ಯೀಕರಣವಾಗಿದ್ದು, ವಾಹಕಗಳ (ಗಾತ್ರದ ಪಟ್ಟಿಗಳು)ಂತಹ ವ್ಯಾಪಕ ವರ್ಗದ ಪ್ರಕಾರಗಳನ್ನು ಪ್ರತಿನಿಧಿಸುತ್ತವೆ. ಅಂಶದ ಪ್ರಕಾರವನ್ನು (ಇನ್ಪುಟ್ ಪ್ರಕಾರ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ) ಆಕಾರ ಮತ್ತು ಸ್ಥಾನದಿಂದ ಸೂಚ್ಯಂಕ ಮಾಡಲಾಗುತ್ತದೆ, ಆದ್ದರಿಂದ ಇದು ಆಕಾರ ಮತ್ತು ಸ್ಥಾನದಿಂದ ಬದಲಾಗಬಹುದು, ಮತ್ತು ವಿಸ್ತರಣೆಯನ್ನು (ಔಟ್ಪುಟ್ ಪ್ರಕಾರ ಎಂದು ಕರೆಯಲಾಗುತ್ತದೆ) ಸಹ ಆಕಾರದಿಂದ ಸೂಚ್ಯಂಕ ಮಾಡಲಾಗುತ್ತದೆ. ಕಂಟೈನರ್ (ಅಮೂರ್ತ ದತ್ತಾಂಶ ಪ್ರಕಾರ) ಬಹುಪದೀಯ ಫಂಕ್ಟರ್ (ಪ್ರಕಾರ ಸಿದ್ಧಾಂತ) ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಕಂಟೈನರ್ ಪ್ರಕಾರಗಳು ಬ್ಲಾಗ್ ಪ್ರಕಾರ ಸಿದ್ಧಾಂತವನ್ನು ಸಹ ನೋಡಿ.