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

क्या सैद्धांतिक रूप से एक प्रोग्रामिंग भाषा निर्दिष्ट करना संभव है जिसके लिए कोई कार्यान्वयन मौजूद नहीं हो सकता है? एक प्रोग्रामिंग भाषा फ़ंक्शंस को परिभाषित करने का एक तरीका है। कार्यान्वयन का अर्थ उस इनपुट पर प्रोग्राम के अनुरूप फ़ंक्शन के आउटपुट पर उस भाषा में दिए गए प्रोग्राम …

11 formal-languages  computability  programming-languages 

C ++ बैकग्राउंड से आते हुए मुझे समझ नहीं आता कि प्रथम श्रेणी के नागरिक के रूप में किसी को टाइप्स / टाइप एक्सप्रेशंस की आवश्यकता क्यों है? एकमात्र भाषा जो मुझे पता है कि इस सुविधा का समर्थन करती है। क्या किसी के पास प्रथम श्रेणी के नागरिक के …

10 programming-languages  language-design  types 

कार्यों या संगणना के लिए हमारे पास शर्तें हैं: नियतात्मक - निर्धारक शुद्ध - पवित्रता अब साइड-इफ़ेक्ट-फ़्री के लिए सही संगत संज्ञा क्या है ? "साइड-इफ़ेक्ट फ़िरनेस"? "साइड-इफ़ेक्ट आज़ादी"? "गैर-पक्ष प्रभावी"?

10 terminology  programming-languages 

मैं अगले पतन के लिए एक स्नातक कंप्यूटर विज्ञान पाठ्यक्रम शुरू कर रहा हूं, लेकिन मैं कार्यात्मक प्रोग्रामिंग के संदर्भ में λ-पथरी को वास्तव में नहीं समझ सकता हूं। मैं इसे पूरी तरह से गलत समझ सकता हूं, लेकिन स्टैनफोर्ड एनसाइक्लोपीडिया ऑफ फिलॉसफी की इस परिभाषा के आधार पर , …

10 programming-languages  lambda-calculus 

अनाम (लैम्ब्डा) फ़ंक्शन क्या हैं? एक कार्यात्मक प्रोग्रामिंग भाषा में एक अनाम फ़ंक्शन की औपचारिक परिभाषा क्या है? अपने सरल शब्दों में, जब मैं स्कीम / लिस्प में प्रोग्रामिंग कर रहा हूं तो मैं कहूंगा कि एक अनाम (लंबो) फ़ंक्शन एक फ़ंक्शन है जो एक पहचानकर्ता के लिए बाध्य नहीं …

10 logic  programming-languages  lambda-calculus  functional-programming 

क्या प्रोग्रामिंग भाषाएं (या तर्क) हैं जो एक फ़ंक्शन को लागू कर सकते हैं (या व्यक्त कर सकते हैं यदि केवल और अगर एक कम्प्यूटेशनल विशेषण फ़ंक्शन है? एफf:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

मैं उत्सुक हूँ। मैं इस datatype पर OCaml में काम कर रहा हूँ : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree जिसे स्पष्ट रूप से टाइप किए गए पुनरावर्ती कार्यों (एक विशेषता जिसे …

10 logic  programming-languages  coq  inductive-datatypes 

ओओ और फंक्शनल प्रोग्रामिंग में अंतर को रेखांकित करने वाले एक लेख को पढ़ते हुए मैं फंक्शन पॉइंटर्स में आया। जब मैंने अपनी कंप्यूटर साइंस की डिग्री (2003) पूरी की तब से कुछ समय हो चुका है और इसलिए मैंने अपनी याददाश्त को ताज़ा करने के लिए पॉइंटर्स को देखा। …

10 terminology  programming-languages 

मैं कंप्यूटर साइंस का छात्र हूं। मैं अपनी खुद की प्रोग्रामिंग भाषा (कुछ निर्देशों के साथ एक मूल भाषा) बनाना चाहता हूं। मुझे पता है कि एक सिंटैक्टिक एनालाइज़र कैसे करना है, मैंने पहले ही पर्ल में किया था। एक लेख में, मैंने संकलक के बारे में कुछ पढ़ा, एक …

10 programming-languages  compilers 

आमतौर पर मैं देखता हूं कि लूप के लिए संरचनात्मक परिचालनात्मक शब्दार्थ निरूपण में, कार्यक्रम की स्थिति नहीं बदलती है: ( w h i l l eबीघओएस, σ) → ( i f)बीt h e nएस; ( w h i l l eबीघओएस)ई एल एस ईएसकमैंपी, σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

मैं प्रोग्रामिंग भाषाओं के लिए कार्यान्वयन तकनीकों में देख रहा हूं, और हाल ही में स्पेगेटी स्टैक में आया हूं, जो एक निरंतर गुजर शैली मॉडल (उदाहरण के लिए स्कीम और एसएमएल / एनजे में उनके उपयोग को देखते हुए) के लिए एक अच्छा फिट है । सरलता के लिए, …

9 data-structures  programming-languages  continuations 

प्रोग्रामिंग भाषाओं में अवधारणाओं में , जॉन मिशेल लिखते हैं कि हालैंड समस्या के कारण स्थैतिक प्रकार की जांच आवश्यक रूप से रूढ़िवादी (अत्यधिक सख्त) है। वह एक उदाहरण के रूप में देता है: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) क्या कोई गैर-वंचित उत्तर प्रदान कर सकता है जो वास्तव …

9 programming-languages  compilers  type-checking 

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

9 terminology  programming-languages  semantics 

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

9 programming-languages  concurrency  mutual-exclusion