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

मैं प्रोग्रामिंग लैंग्वेज थ्योरी में नया हूं। मैं कुछ ऑनलाइन व्याख्यान देख रहा था जिसमें प्रशिक्षक ने दावा किया था कि बहुरूपिया प्रकार के साथ एक फ़ंक्शन forall t: Type, t->tपहचान है, लेकिन यह क्यों नहीं समझाया। क्या कोई मुझे समझा सकता है क्यों? शायद पहले सिद्धांतों से दावे का …

18 programming-languages  type-theory 

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

18 terminology  programming-languages  api-design 

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

18 programming-languages  semantics 

मैंने "C ++ डीमिस्टीफाइड" पुस्तक का अध्ययन किया है । अब मैंने रॉबर्ट लॉफ्र द्वारा "ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग इन टर्बो सी ++ फर्स्ट एडिशन (पहला संस्करण)" पढ़ना शुरू कर दिया है । मुझे प्रोग्रामिंग का कोई ज्ञान नहीं है जो इन पुस्तकों से परे है। यह पुस्तक पुरानी हो सकती है …

17 programming-languages  object-oriented  programming-paradigms 

मैं वास्तव में इस संपत्ति के साथ संघर्ष कर रहा हूँ: चलो हो जुटना रिक्त स्थान और एक नीरस समारोह हो। निरंतर है यदि और केवल अगर , सभी ऐसा है कि एक निर्देशित सेट है।X,YX,YX,Yच च ( ⋃ एक्स ∈ डी एक्स ) = ⋃ एक्स ∈ डी च …

16 terminology  programming-languages  semantics 

इस लेख के अनुसार लिस्प कोड की निम्न पंक्ति "हैलो वर्ल्ड" को मानक आउटपुट में प्रिंट करती है। (format t "hello, world") लिस्प, जो एक होमोसेक्सुअल भाषा है , इस तरह से डेटा के रूप में कोड का इलाज कर सकता है: अब कल्पना करें कि हमने निम्नलिखित मैक्रो लिखा …

16 programming-languages  functional-programming 

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

15 programming-languages 

मुझे पता है कि यह साबित किया जा सकता है PROLOG एक प्रोग्राम का निर्माण करके ट्यूरिंग-पूर्ण है जो इस तरह से ट्यूरिंग मशीन का अनुकरण करता है: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, …

15 programming-languages  turing-completeness  logic-programming  prolog 

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

15 programming-languages  logic  compilers  type-theory  type-checking 

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

15 programming-languages  semantics 

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

14 programming-languages  type-theory 

क्या कोई मुझे कार्यात्मक शैली में कोड लिखने के फायदे या नुकसान का अध्ययन करने वाले साथियों की समीक्षा करने के लिए संदर्भित कर सकता है? क्या ऐसे कागजात हैं जो मशीन लर्निंग, लैंग्वेज डिज़ाइन आदि जैसे क्षेत्रों में लैम्ब्डा कैलकुलस के अनुप्रयोगों पर चर्चा करते हैं?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

मुझे C प्रोग्रामिंग में एक अजीब अनुभव हुआ। इस कोड पर विचार करें: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } जब मैं इसे संकलित और चलाता हूं, तो मुझे कोई त्रुटि या …

14 programming-languages  arrays  c 

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

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics 

मैं इस बारे में सुनता रहता हूं कि किसी को प्रोग्रामिंग भाषा के सिद्धांत को समझने के लिए श्रेणी सिद्धांत को कैसे सीखना चाहिए। अब तक, मैंने श्रेणियों के दायरे में पैर रखने के बिना पीएल का एक अच्छा सौदा सीखा है। हालांकि, मुझे लगा कि जो मुझे याद आ …

13 reference-request  programming-languages  type-theory  category-theory