हास्केल सीखते समय मुझे यह महसूस हुआ कि लेखक हमेशा मुझे सब कुछ नहीं बताते हैं, इसलिए वास्तव में इसे समझने के लिए मैं इस तरह के सिस्टम, मोनैड और अवधारणाओं के पीछे सिद्धांत जानना चाहता हूं।हास्केल जैसे शुद्ध कार्यात्मक भाषाओं के पीछे सिद्धांत सीखने के संदर्भ?
इनमें से अधिकतर अवधारणाएं मैंने श्रेणी श्रेणी सिद्धांत से सुना है, तो इस विषय और संबंधित विषयों पर कुछ अच्छी किताबें/वेबसाइटें क्या हैं?
Philip Wadler और Simon Peyton Jones द्वारा कागजात आपको हास्केल के पीछे सिद्धांत पर शुरू करना चाहिए। साइमन पेटन जोन्स द्वारा The Implementation of Functional Programming Languages (ऑनलाइन उपलब्ध) पुस्तक काफी पुरानी है लेकिन अभी भी दिलचस्प है।
पेपर "क्यों कार्यात्मक प्रोग्रामिंग है महत्वपूर्ण "एक बहुत अच्छा पढ़ा है। मुझे यह इंगित करने के लिए धन्यवाद। +1 –
ये आशाजनक लग रहा है, मैं उन्हें देख लूंगा। धन्यवाद! – Rubendv
मैं इस विषय पर कुछ शोध पत्रों को देखने की सिफारिश करता हूं। फिलिप वाडलर का "कंप्रेन्डिंग मोनाड्स" और "कार्यात्मक प्रोग्रामिंग के लिए मोनाड्स" मोनैड को समझने के लिए दो अच्छी शुरुआत स्थान हैं।
आपको http://www.haskell.org/haskellwiki/Research_papers पर सबसे अधिक लिंक मिलेंगे।
हास्केल में हिंडली मिलनर प्रकार प्रणाली है। अधिक जानकारी के लिए Wikipedia और this blog post देखें।
शायद आपको यह blog post उपयोगी मिलेगा।
यदि आप वास्तव में कार्यात्मक भाषाओं को समझना चाहते हैं तो लैम्ब्डा कैलकुस निश्चित रूप से अनुचित है। मैं Henk Barendregt's introduction, साथ ही साथ book (पूर्ण पाठ ऑनलाइन) की सिफारिश कर सकता हूं।
एफपी, denotational semantics और श्रेणी सिद्धांत के बीच संबंध बहुत सूक्ष्म है। इसके अलावा, श्रेणी सिद्धांत गणित के कई क्षेत्रों के ठोस ज्ञान के बिना समझना मुश्किल है: क्योंकि यह बहुत सार है, आप इसे बहुत अलग क्षेत्रों से कई उदाहरणों के बिना समझ नहीं सकते हैं। एक टॉरफ संदर्भ सॉंडर्स मैकलेन की पुस्तक 'वर्किंग मैथमैटिशियन के लिए श्रेणी सिद्धांत' है। इस पुस्तक के साथ मुझे आश्चर्यचकित करता है कि यह उन लोगों द्वारा समान रूप से उपयोग किया जाता है जो * बहुत * अलग-अलग चीजें करते हैं और जो एक दूसरे को नहीं समझते हैं: बीजगणितीय भूगर्भ, तर्कज्ञ, प्रोग्रामर, भौतिकविद, टोपोलॉजिस्ट इत्यादि। –