मैं इस बारे में सुनता रहता हूं कि किसी को प्रोग्रामिंग भाषा के सिद्धांत को समझने के लिए श्रेणी सिद्धांत को कैसे सीखना चाहिए। अब तक, मैंने श्रेणियों के दायरे में पैर रखने के बिना पीएल का एक अच्छा सौदा सीखा है। हालांकि, मुझे लगा कि जो मुझे याद आ रहा था उसे देखने के लिए छलांग लेने का समय आ गया है।
दुर्भाग्य से, कोई भी स्रोत मुझे नहीं मिल सकता है जो टाइप सिस्टम या प्रोग्रामिंग के लिए कोई संबंध बनाता है। वे कहते हैं कि यह कंप्यूटर वैज्ञानिकों के लिए श्रेणी के सिद्धांत का परिचायक है, लेकिन फिर किसी भी व्यावहारिक उदाहरण या एप्लिकेशन दिए बिना सामान्य अमूर्त बकवास में (मैं इसे प्यार से कहता हूं) बंद कर देता हूं।
मुझे लगता है कि मेरा सवाल वास्तव में दो-गुना है:
- क्या पीएल में "गहरी अवधारणाओं" को समझने के लिए श्रेणी सिद्धांत आवश्यक है?
- क्या एक स्रोत है जो श्रेणी के सिद्धांत को व्यावहारिक अनुप्रयोगों के दृष्टिकोण से लेकर सिस्टम और प्रोग्रामिंग तक बताता है?
अब तक, मैंने जो फ़र्स्टेस्ट प्राप्त किया है, वह फ़ंक्शनलर्स के अस्पष्ट अनुमान के लिए है (जो कि एमएल में फ़ंक्शंस से संबंधित नहीं लगता है, जहां तक मैं बता सकता हूं)। मैं अमूर्तता फैला रहा हूं, मुझे एक श्रेणी-सिद्धांतिक दृष्टिकोण से भिक्षुओं को समझने के लिए मेरे सिर में रखने की आवश्यकता होगी।