प्रोग्रामिंग भाषा सिद्धांत और सार बीजगणित

Question

क्या प्रोग्रामिंग थ्योरी को अमूर्त बीजगणित के कोई अनुप्रयोग हैं? क्या ऐसा कुछ भी है जो भाषा डिजाइन और संकलक कार्यान्वयन में उपयोगी होगा?

Comments

सैद्धांतिक कंप्यूटर विज्ञान में बीजगणितीय संरचनाओं का उपयोग

— साशो निकोलेव

क्या आपने ऊपर दिए गए प्रश्न की जाँच की है? इसके अलावा श्रेणी थ्योरी कार्यात्मक प्रोग्रामिंग सीखने के लिए उपयोगी है? और कार्यात्मक प्रोग्रामिंग । क्या वे आपके सवाल का जवाब देते हैं?

— केवह

Answer 1

शब्द के शास्त्रीय अर्थों में बीजगणित का उपयोग बीजगणितीय संचालन के रूप में कम्प्यूटेशनल प्रभावों के मॉडलिंग में किया जाता है, उदाहरण के लिए गॉर्डन प्लॉटकिन द्वारा इन स्लाइड्स को देखें , या आप वास्तविक कागजात और पीएचडी पढ़ सकते हैं । शोध , यदि आप वास्तव में सवाल पूछने के लिए थे।

और मेरे अपने सींग उड़ाने की, पर एक नजर है उड़ानों और इसके बारे में पढ़ा , विचार है कि कम्प्यूटेशनल प्रभाव बीजीय संचालन कर रहे हैं और कि संचालकों अल्जेब्रास की homomorphisms हैं चारों ओर के लिए बनाया गया एक भाषा।

Comments

प्रयास बहुत अच्छा है - जो मैं समझाता हूं कि यह निरंतरता के बारे में है वह ज्यादातर इसी से आता है।

— नील कृष्णस्वामी

मैं ओलेग के "कॉलक हानिकारक माना" पर एक ब्लॉग प्रतिक्रिया पर विचार कर रहा हूं जिसमें मैं तर्क देता हूं कि निरंतरता के साथ काम करने का संरचित तरीका है।

— एंड्रेज बॉयर

जवाब देने के लिए सभी का धन्यवाद। मुझे @ AndrejBauer के उत्तर को स्वीकार करना पड़ा क्योंकि उन्होंने अपनी भाषा को प्रश्न के उत्तर के रूप में लागू किया :)

— n00b101

आपको वहां चीजों को गलत करने का आदेश मिला है :) यह सिर्फ इतना है कि मतिजा और मैंने एक ऐसी भाषा लागू की जो आपके सवाल पर फिट बैठती है।

— २ B

Answer 2

मुझे जवाब देने में हिचकिचाहट है क्योंकि एक सरल "हाँ" से परे कोई भी उत्तर वॉल्यूम को भर सकता है। प्रोग्रामिंग लैंग्वेज शब्दार्थ को गहराई से आकार दिया गया है और बदले में श्रेणीबद्ध तर्क के विकास को गहरा आकार दिया है, जो कि तर्क के लिए बीजगणित का अनुप्रयोग है।

लेकिन मुझे संदेह है कि इस सवाल का जवाब देने का सबसे अच्छा तरीका आपको एजडा सीखने के लिए कहना है - निर्भर प्रकारों के साथ कार्यक्रम सीखने का अनुभव बड़े पैमाने पर माप में है कि कैसे व्यापक रूप से बीजगणित कंप्यूटर प्रोग्रामिंग के साथ आ रहा है।

Answer 3

वास्तव में प्रमेय अमूर्त बीजगणित के लिए एक सॉफ्टवेयर है। यह सॉफ्ट कुछ प्रकार की चीजों की गणना करता है जैसे कि एक्शन ग्रुप, होमोमोर्फिज्म आदि ... यह मैग्मा है: http://magma.maths.usyd.edu.au/magma/

मैं आशा करता हूं यह आपकी मदद कर सकते हैं।

Comments

मुझे डर है कि आपने शायद इस सवाल को गलत समझा है।

— त्सुयोशी इतो

आपको लगता है? ठीक है, मैग्मा के साथ आपके पास विशेष रूप से अमूर्त बीजगणित के बारे में एक विषय है, अन्य क्षेत्रों में लागू करने के लिए उपयोगी वातावरण, उदाहरण के लिए प्रोग्रामिंग भाषा ...

— कैमिलो सोलर

(1) यदि मैग्मा में अमूर्त बीजगणित के बारे में विशेष रूप से एक पुस्तकालय है जो प्रोग्रामिंग भाषा सिद्धांत पर लागू करने के लिए उपयोगी है, तो आपको उस एप्लिकेशन के बारे में लिखना चाहिए। मुझे नहीं लगता कि मैग्मा का एक सूचक इस प्रश्न के संदर्भ में सहायक है। (२) ईमानदार होने के लिए, मुझे संदेह है कि आप समझते हैं कि "प्रोग्रामिंग भाषा सिद्धांत" का क्या अर्थ है।

— त्सुयोशी इतो

ठीक है, मैं सिर्फ एक और मंच पर अपना विचार व्यक्त करना चाहता था जिसमें एक अन्य "प्रोग्रामिंग भाषा" बनाने या डिजाइन करने के लिए आधार बीजगणित (उदाहरण के लिए) के रूप में सार बीजगणित का एक पुस्तकालय है ... यहां आसान चर्चा नहीं है। मुझे खेद है कि मेरा विचार बुरा या गलत था।

— कैमिलो सोलर