pl.programming-languages पर टैग किए गए जवाब

प्रोग्रामिंग भाषाएँ, विशेष रूप से, उनके शब्दार्थ पर ध्यान केंद्रित।

3
प्रोग्रामिंग भाषाओं के औपचारिक शब्दार्थ
मैं प्रोग्रामिंग भाषाओं के सिद्धांत के लिए नया हूं और मैं प्रोग्रामिंग भाषाओं के औपचारिक शब्दार्थ के लिए एक संसाधन पर एक अच्छे संसाधन की तलाश कर रहा हूं। विशेष रूप से संरचनात्मक परिचालन शब्दार्थ की तलाश में। मुझे कुछ पुस्तक सिफारिशें मिलीं। लेकिन मैं एक अधिक परिचयात्मक स्तर में …
3
पाठक, लेखक सन्यासी
बता दें कि CCC एक CCC है । Let C(×)(×)(\times) पर एक उत्पाद बाइफंकेटर हो । जैसा कि कैट सीसीसी है, हम ( × ) करी कर सकते हैं :CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B फ़नकार श्रेणी C⇒CC⇒CC \Rightarrow …
2
सैद्धांतिक कंप्यूटर विज्ञान अनुसंधान में श्रेणी सिद्धांत और मठों की स्थिति?
पृष्ठभूमि । मैं एक स्नातक छात्र हूं जो श्रेणी सिद्धांत, मोनाड्स और हास्केल से संबंधित अनुसंधान में रुचि रखता है, और मैं उस क्षेत्र में अपने स्नातक की थीसिस के लिए एक विषय खोजना चाहता हूं। मैंने कागज को देखा है यूजीनियो मोगी , " अभिकलन और मोनाड्स की धारणा …
1
आश्रित अभिलेखों के लिए पैरामैट्रिकिटी और प्रोजेक्टिक एलिमिनेशन
यह अच्छी तरह से ज्ञात है कि सिस्टम एफ में, आप द्विआधारी उत्पादों को प्रकार के साथ सांकेतिक शब्दों में बदलना कर सकते हैं फिर आप को परिभाषित कर सकते प्रक्षेपण कार्यों \ pi_1: एक \ बार बी \ एक करने के लिए और \ pi_2: एक \ बार बी …
1
(कैसे) आप पाई-कैलकुलस में प्रसारण कर सकते हैं?
क्या आप पाई-कैलकुलस में विश्वसनीय ब्रॉडकास्ट कर सकते हैं? यदि हां, तो कैसे? यदि नहीं: क्या कोई समान प्रक्रिया बीजगणित है जहाँ आप कर सकते हैं? मैंने क्या कोशिश की है: इस तो एक संदेश भेजने के लिए करना चाहता है y सभी पी 1 के लिए पी एन , …
3
प्रकार सिद्धांत में आगमनात्मक परिभाषाओं में भविष्यवाणी की भूमिका क्या है?
हम अक्सर एक वस्तु _ को परिभाषित करना चाहते हैं कुछ अनुमान नियमों के अनुसार। वे नियम उत्पन्न करने वाले फ़ंक्शन F को दर्शाते हैं, जो कि एकरस होने पर, एक न्यूनतम निश्चित बिंदु μ F उत्पन्न करता है। हम ले एक : = μ एफ की "आगमनात्मक परिभाषा" होने …
3
क्या कोई प्रोग्रामिंग भाषा सिद्धांत विदेशी फ़ंक्शन इंटरफेस (एफएफआई) और कई भाषा बाइंडिंग का वर्णन करता है?
क्या कोई प्रोग्रामिंग भाषा सिद्धांत विदेशी फ़ंक्शन इंटरफेस (एफएफआई) और कई भाषा बाइंडिंग का वर्णन करता है? मैंने स्टैकओवरफ्लो पर कुछ कार्यान्वयन मुद्दे पूछे हैं , जो यहां उपयुक्त नहीं है। लेकिन मैं इस साइट के दृष्टिकोण से पूछना चाहता हूं और देखना है कि मुझे यहां से क्या मिल …
4
कार्यक्रम अपने स्वयं के स्रोत कोड के बारे में तर्क देता है
इस प्रश्न की प्रेरणा निम्नलिखित (अस्पष्ट) प्रश्न है: AI होने के लिए प्रोग्रामिंग भाषा / तार्किक आधार क्या हैं जो अपने स्वयं के स्रोत कोड के बारे में तर्क कर सकते हैं और इसे संशोधित कर सकते हैं? यह बिल्कुल कठोर नहीं है, इसलिए यहां से एक ठोस प्रश्न निकालने …
2
एक कार्यक्रम अनुवाद के पूर्ण निरपेक्षता बनाम पूर्ण पूर्णता
कंपाइलर सत्यापन के प्रयास अक्सर कंपाइलर को पूरी तरह से अमूर्त साबित करने के लिए नीचे आते हैं: कि यह (प्रासंगिक) समकक्षों को संरक्षित और प्रतिबिंबित करता है। पूर्ण अमूर्त प्रमाण प्रदान करने के बजाय, हसेगावा [ 1 , 2 ] और एगर एट द्वारा कुछ हालिया (श्रेणी आधारित) संकलक …
1
MALL + अप्रतिबंधित पुनरावर्ती प्रकार ट्यूरिंग-पूर्ण है?
आप इस तरह के Y Combinator या ओमेगा Combinator के रूप में untyped लैम्ब्डा-पथरी में पुनरावर्ती combinators, को देखें, तो: ωY==(λx.xx)(λx.xx)λf.(λx.f(xx))(λx.f(xx))ω=(λx.xx)(λx.xx)Y=λf.(λx.f(xx))(λx.f(xx)) \begin{array}{lcl} \omega & = & (\lambda x.\,x\;x)\;(\lambda x.\,x\;x)\\ Y & = & \lambda f.\,(\lambda x.\,f\;(x\;x))\; (\lambda x.\,f\;(x\;x)) \\ \end{array} यह स्पष्ट है कि ये सभी कॉम्बिनेटर अपनी परिभाषा में …
2
अर्ध-अवधि / विभिन्न संबंधों / जिग-जैग संबंधों का उपयोग?
यह देखते हुए सेट और बी , एक difunctional संबंध ( ~ ) ⊆ एक × बी उन दोनों के बीच एक रिश्ता निम्नलिखित संपत्ति संतोषजनक होने के लिए परिभाषित किया गया है:AAABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B यदि और एक ' ~ ख ' और एक ~ ख ' …
4
Unary पैरामीट्रिकिटी बनाम बाइनरी पैरामीट्रिकिटी
मैं हाल ही में बर्नार्डी और मौलिन के 2012 के LICS पेपर ( https://dl.acm.org/citation.cfm?id=2359499 ) को देखने के बाद पैरामीट्रिकिटी में काफी दिलचस्पी ले रहा हूं । इस पत्र में, वे निर्भर प्रकारों और संकेत के साथ एक शुद्ध प्रकार की प्रणाली में यूनिरी पैरामीट्रिकिटी को आंतरिक करते हैं कि …
1
इनहेरिटेंस सबटाइपिंग से कैसे भिन्न होता है?
प्रोग्रामिंग भाषा के परिप्रेक्ष्य में, सबटिप करने से क्या मतलब है? मैंने सुना है कि "वंशानुक्रम उपशीर्षक नहीं है"। फिर वंशानुक्रम और उपप्रकार के बीच अंतर क्या हैं?
3
हम कब कह सकते हैं कि दो कार्यक्रम अलग-अलग हैं?
Q1। हम कब कह सकते हैं कि दो प्रोग्राम (कुछ प्रोग्रामिंग भाषा में जैसे C ++ में लिखे गए) अलग हैं? पहला चरम यह कहना है कि दो कार्यक्रम समान हैं यदि वे समान हैं। अन्य चरम यह कहना है कि दो कार्यक्रम समान हैं यदि वे समान फ़ंक्शन की …
1
में
आदेश रखरखाव समस्या (या "एक सूची में व्यवस्था बनाए रखना") संचालन का समर्थन करना है: singleton: एक आइटम के साथ एक सूची बनाता है, इसके लिए एक पॉइंटर लौटाता है insertAfter: किसी आइटम को एक पॉइंटर दिया जाता है, उसके बाद एक नया आइटम सम्मिलित करता है, एक पॉइंटर को …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.