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

मेरे पास निम्न टाइप्ड थ्योरी है |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) सभी शर्तों के समीकरणों के साथ: f : A -> …

10 lo.logic  pl.programming-languages  type-theory  ct.category-theory  automated-theorem-proving 

मुझे कंबाइनरी लॉजिक, लैम्ब्डा कैलकुलस, फंक्शनल प्रोग्रामिंग जैसे विभिन्न विषयों में थोड़ी देर के लिए दिलचस्पी रही है और उनका अध्ययन कर रहा हूं। हालांकि, "कम्प्यूटेशन का सिद्धांत" के विपरीत, जो "कम्प्यूटेबिलिटी" के सवाल का जवाब देने का प्रयास करता है, अर्थात, विभिन्न बाधाओं के साथ गणना / नहीं की …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

हाल ही में, मुझे बीजीय ज्यामिति में दिलचस्पी हो गई है और मैंने इस पर पढ़ना शुरू कर दिया है। मैं अभी भी इस क्षेत्र के बारे में बहुत कम जानता हूं, लेकिन मैं यह जानना चाहता हूं कि इसका मेरे मुख्य क्षेत्र, प्रकार सिद्धांत और प्रोग्रामिंग भाषाओं से कोई …

9 pl.programming-languages  type-theory  algebra 

क्या लैम्ब्डा कैलकुलस के समान कोई प्रणाली है जो मजबूत सामान्यीकरण है, इसके शीर्ष पर एक प्रकार की प्रणाली को जोड़ने की आवश्यकता के बिना?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

मैं अब बेहतर समझने की कोशिश कर रहा हूं कि प्रोग्रामिंग भाषाओं में "अमूर्त व्याख्या" क्या है। मुझे एक अच्छा पुस्तक अध्याय मिला जो एक कम से कम निश्चित तत्व के साथ डोमेन को विस्तारित करने के विचार की व्याख्या करता है, चार स्वयंसिद्ध जो एक निरंतर फ़ंक्शन के लिए …

9 pl.programming-languages  program-analysis 

परिचय मैं एब्सट्रैक्ट डेल्टा मॉडलिंग (एडीएम) पर पीएचडी थीसिस लिख रहा हूं , संशोधनों का सार बीजगणितीय विवरण ( डेल्टास के रूप में जाना जाता है ) उत्पादों पर काम करने में सक्षम ('सॉफ्टवेयर उत्पादों' के रूप में)। इसका उपयोग संबंधित उत्पादों के एक सेट ('उत्पाद लाइन') को एक साधारण …

9 pl.programming-languages  algebra  monoid 

मैं मार्टिन-लोफ प्रकार के सिद्धांत, यानी Coq / Agda में औपचारिक रूप से सत्यापित कंपाइलरों में रुचि रखता हूं। फिलहाल मैंने एक छोटा सा खिलौना उदाहरण लिखा है। इसके अलावा मैं साबित कर सकता हूं कि मेरी आशाएं सही हैं। उदाहरण के लिए कि शून्य के साथ परिवर्धन को समाप्त …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

यह पोस्ट करी-हावर्ड आइसोमॉर्फिज़्म और मार्टिन-लोफ़ टाइप थ्योरी को संदर्भित करता है । पोस्ट गणित की वर्णन करने वाली भाषा और कंप्यूटर प्रोग्रामिंग की संचालन आधारित भाषा के बीच भविष्य के 'एकीकरण' का दावा करती है। मेरे प्रश्न हैं: क्या इन विचारों से एक बेहतर क्षमता (भाषाओं के माध्यम से) …

9 lo.logic  pl.programming-languages  type-theory  automated-theorem-proving 

यदि आपके पास एक अलग सॉर्टिंग एल्गोरिदम को लागू करने वाले दो कार्य हैं, तो क्या स्रोत कोड द्वारा अनुमान लगाना संभव है कि वे दोनों एक ही बाहरी गुण हैं? इसका अर्थ है कि वे दोनों उनके इनपुट के रूप में एक संभव लिंक नहीं करेंगे और उनके आउटपुट …

9 pl.programming-languages  decidability  formal-methods  extensionality 

जहाँ तक मुझे पता है, प्रकार वर्ग की कमी के साथ एक हास्केल फ़ंक्शन आंतरिक रूप से अतिरिक्त तर्कों के साथ एक फ़ंक्शन के लिए संकलित किया जाता है जो प्रत्येक विशेष प्रकार के वर्ग के आवश्यक कार्यान्वयन के साथ शब्दकोशों प्राप्त करता है। क्या कोई अन्य संभावनाएं हैं कि …

9 pl.programming-languages  functional-programming  compilers  type-systems 

यह एक प्रश्न है जिसे मैंने गणित एसई फोरम में पूछा था, और मुझे यहां संदर्भित किया गया था। तो यहाँ सवाल है- मैं औपचारिक गणित और सैद्धांतिक कंप्यूटर विज्ञान दोनों में नौसिखिया हूं, इसलिए कृपया मेरे साथ सहन करें यदि आपको लगता है कि मेरा प्रश्न ठीक से तैयार …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

मैं पूरे प्रोग्राम प्रकार की जाँच और टाइपिंग सिस्टम के बारे में और जानने की कोशिश कर रहा हूँ जो फ़ंक्शन कॉल साइट्स से जानकारी टाइप जानकारी की गणना करने के लिए (फ़ंक्शन बॉडी का उपयोग करने के मानक दृष्टिकोण के अलावा) का उपयोग करता है। उदाहरण के लिए, ऐसा …

9 pl.programming-languages  type-theory  type-inference  type-systems 

ऐसा लगता है कि संबंधपरक डेटाबेस के लिए लोकप्रिय क्वेरी भाषाओं में, ऐसे प्रश्न बनाना संभव है जिनके जवाब देने के लिए बहुत सारे संसाधनों की आवश्यकता होगी। व्यवहार में, डेटाबेस प्रति क्वेरी स्मृति की मात्रा को सीमित करके, और डेटाबेस में कोई मंदी होने पर किसी भी लंबे समय …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

बन्द है। यह सवाल ऑफ टॉपिक है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न को अपडेट करें ताकि यह सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज के लिए विषय पर हो । 3 साल पहले बंद हुआ । क्या एक सार्वभौमिक पुनरावर्ती …

9 lo.logic  computability  pl.programming-languages