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

मैं श्रेणी सिद्धांत के कुछ बिट्स सीख रहा हूं। यह निश्चित रूप से चीजों को देखने का एक अलग तरीका है। (जिन लोगों ने इसे नहीं देखा है उनके लिए बहुत ही संक्षिप्त सारांश: श्रेणी सिद्धांत सभी प्रकार के गणितीय व्यवहार को पूरी तरह से वस्तुओं के बीच कार्यात्मक संबंधों …

103 pl.programming-languages  lo.logic  ct.category-theory 

गणितज्ञ कभी-कभी Axiom of Choice (AC) और Axiom of निर्धारक (AD) के बारे में चिंता करते हैं। पसंद की स्वयंसिद्ध : किसी भी संग्रह को देखते हुए सेट nonempty की, वहाँ एक समारोह है एक सेट दिया है कि, में , के एक सदस्य रिटर्न । एफ एस सी एससीC{\cal …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

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

48 imperative-programming  pl.programming-languages 

एक अलग सूत्र पर , प्रेमिका बाउर ने निरूपित शब्दार्थ को परिभाषित किया है: एक कार्यक्रम का अर्थ इसके भागों के अर्थ का एक कार्य है। क्या मुझे इस परिभाषा के बारे में परेशान करती है कि यह एक बाहर जो सामान्यतः के रूप में के बारे में सोचा है …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

क्या लैम्बडा कैलकुलस का उपयोग करके एल्गोरिथ्म की समय जटिलता की गणना करने के लिए कोई लाभ हैं? या इस उद्देश्य के लिए एक और प्रणाली तैयार की गई है? किसी भी संदर्भ की सराहना की जाएगी।

43 lambda-calculus  pl.programming-languages  time-complexity 

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

37 reference-request  complexity-classes  computability  pl.programming-languages 

यहां तक ​​कि कंप्यूटर विज्ञान की पृष्ठभूमि वाले किसी व्यक्ति से पूछें कि एक नियमित अभिव्यक्ति क्या है, और इसका उत्तर एक परिमित-राज्य ऑटोमेटन की पहुंच के दायरे से बाहर जाने की संभावना है। उदाहरण के लिए, "नियमित अभिव्यक्ति" /^1?$|^(11+?)\1+$/ विख्यात पर्ल व्यक्तित्व अबीगैल द्वारा निर्मित (और 2002 से पर्ल …

36 automata-theory  pl.programming-languages  fl.formal-languages  regular-expressions  terminology 

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

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

मुझे नहीं लगता कि मैं टाइप कक्षाएं समझता हूं। मैंने कहीं पढ़ा होगा कि टाइप क्लासेस को "इंटरफेस" (ओओ से) के रूप में माना जाता है कि एक टाइप इम्प्लीमेंट गलत और भ्रामक है। समस्या यह है, मुझे एक समस्या है जो उन्हें कुछ अलग और कैसे गलत है, के …

33 pl.programming-languages  type-theory  type-systems 

इस तरह की कुछ सामान्य चर्चाओं की भावना में , मैं प्रोग्रामिंग भाषाओं पर अनुसंधान में खुली चुनौतियां और गर्म विषय क्या हैं, इस पर राय इकट्ठा करने के इरादे से यह धागा खोल रहा हूं । मुझे उम्मीद है कि चर्चा प्रोग्रामिंग भाषाओं के भविष्य के बारे में सतही …

32 pl.programming-languages  open-problem  research-practice 

एक प्रोग्रामिंग भाषा लिखना असंभव है जो सभी मशीनों को सभी इनपुटों पर रोक देता है और कोई अन्य नहीं। हालांकि, किसी भी मानक जटिलता वर्ग के लिए इस तरह की प्रोग्रामिंग भाषा को परिभाषित करना आसान लगता है। विशेष रूप से, हम एक भाषा को परिभाषित कर सकते हैं …

32 cc.complexity-theory  computability  pl.programming-languages 

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

31 pl.programming-languages  type-theory  program-verification  dependent-type 

मैं नील्सन और नील्सन के " सेमेंटिक्स विद एप्लीकेशन " पढ़ रहा हूं, और मुझे वास्तव में यह विषय पसंद है। मैं प्रोग्रामिंग भाषा के शब्दार्थ पर एक और पुस्तक रखना चाहता हूं - लेकिन मैं वास्तव में केवल एक ही प्राप्त कर सकता हूं। मैंने तुर्बक / गिफर्ड पुस्तक …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

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

29 lo.logic  pl.programming-languages  logical-relations  parametricity 

यह एक अनुवर्ती प्रश्न है साक्ष्यों और कार्यक्रमों (या प्रस्तावों और प्रकारों के बीच) में क्या अंतर है? फॉर्म की एक गैर-रचनात्मक (शास्त्रीय) सबूत के लिए क्या कार्यक्रम के अनुरूप होगा ∀k T(e,k)∨¬∀k T(e,k)∀k T(e,k)∨¬∀k T(e,k)\forall k \ T(e,k) \lor \lnot \forall k \ T(e,k) ? (मान लें कि कुछ …

29 lo.logic  pl.programming-languages  proof-theory