प्रोग्रामिंग भाषा सिद्धांत का अध्ययन

Question

मुझे हाल ही में (कार्यात्मक) प्रोग्रामिंग भाषाओं के पहलुओं को समझने और साबित करने में बेहद दिलचस्पी हो गई है।

हालाँकि जैसा कि मैं गहराई से गोता लगाता हूं, जैसे कि कलन, श्रेणी सिद्धांत, और संप्रदायिक शब्दार्थ की बातें उचित स्पष्टीकरण के बिना टटोलना थोड़ा मुश्किल है।$\lambda$

मैं SICP (काफी ज्ञानवर्धक पुस्तक) पढ़ता हूं, लेकिन मैं कार्यात्मक प्रोग्रामिंग के सिद्धांत में गहराई से खोज रहा हूं। क्या कोई किताबें / ब्लॉग / साइटें / आप-नाम-यह हैं जो जमीन से कार्यात्मक प्रोग्रामिंग भाषाओं के सिद्धांत पर चर्चा करेंगे?

Answer 1

ऐसी पुस्तकों द्वारा आना आसान नहीं है जो -calculus के डिपोटेशनल शब्दार्थों पर विचार करती हैं । एक संभावना है:$\lambda$

1. रॉबर्टो एम। अमादियो और पियरे-लुई क्यूरियन: डोमेन और लैंबडा-केल्ती

टाइप-थ्योरिटिक खातों को पकड़ना आसान होता है:

1. बॉब हार्पर, प्रोग्रामिंग लैंग्वेजेज का प्रैक्टिकल फाउन्डेशन (एक मुद्रित संस्करण भी है )।
2. बेंजामिन पियर्स, प्रकार और प्रोग्रामिंग भाषाएँ ।
3. फ्रैंक पफेनिंग की संगणना और कटौती पर पाठ्यक्रम , मुझे लगता है कि उन्होंने भी इसी शीर्षक के साथ एक पुस्तक प्रकाशित की।

Comments

मैं साथ चला गया Domains and Lambda-Calculiऔर साथ ही के रूप में Design Concepts in Programming Languages(मोटी लेकिन अभी तक इसके लायक)

— डैनियल Gratzer

Answer 2

एक पुराने प्रश्न का नया उत्तर । आप बार्टोज़ मिल्विक द्वारा प्रोग्रामर्स के लिए श्रेणी थ्योरी में दिलचस्पी ले सकते हैं । अधिक आम तौर पर, आप बार्टोज़ मिल्वेस्की के प्रोग्रामिंग कैफे ब्लॉग को देख सकते हैं ।

Answer 3

इन किताबों की रेटिंग उच्च है और विभिन्न वैज्ञानिक समुदायों में आती हैं:

साइमन थॉम्पसन द्वारा सिद्धांत और कार्यात्मक प्रोग्रामिंग टाइप करें।

कंप्यूटर प्रोग्राम की संरचना और व्याख्या

Comments

ये किताबें सिद्धांत को कैसे संबोधित करती हैं ? आप उन्हें क्यों सलाह देते हैं; क्या आपने उन्हे पढ़ा है?

— राफेल