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

मान लीजिए कि एक कार्यक्रम दो अलग-अलग भाषाओं में लिखा गया है, तो उन्हें भाषा X और भाषा Y होने दें, यदि उनके संकलक समान बाइट कोड उत्पन्न करते हैं, तो मुझे भाषा Y के बजाय भाषा X का उपयोग क्यों करना चाहिए? क्या परिभाषित करता है कि एक भाषा …

38 programming-languages  compilers 

मुझे पता है कि इदरिस के पास निर्भर प्रकार हैं, लेकिन पूर्ण रूप से ट्यूरिंग नहीं है। ट्यूरिंग पूर्णता को छोड़ देने से क्या नहीं हो सकता है, और क्या यह निर्भर प्रकार होने से संबंधित है? मुझे लगता है कि यह काफी विशिष्ट प्रश्न है, लेकिन मैं निर्भर प्रकारों …

35 computability  programming-languages  type-theory  dependent-types 

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

35 programming-languages  education 

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

35 programming-languages 

दिक्जस्त्र, अपने निबंध में वास्तव में शिक्षण विज्ञान की क्रूरता पर , एक परिचयात्मक प्रोग्रामिंग प्रोग्रामिंग के लिए निम्नलिखित प्रस्ताव बनाता है: एक तरफ, हम सिखाते हैं कि विधेय पथरी की तरह क्या दिखता है, लेकिन हम इसे दार्शनिकों से बहुत अलग तरीके से करते हैं। अविवेकी सूत्रों के हेरफेर …

33 reference-request  programming-languages  education  didactics 

मैं इटा और जोत के बारे में पढ़ रहा था और इस खंड को भ्रामक पाया: इओटा के विपरीत, जहां एक स्ट्रिंग के लिए सिंटैक्टिक पेड़ बाईं तरफ या दाईं ओर शाखा कर सकता है, जोट सिंटैक्स समान रूप से बाएं-शाखा है। नतीजतन, इओटा सख्ती से संदर्भ-मुक्त है, लेकिन जोत …

32 regular-languages  programming-languages  turing-completeness 

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

30 programming-languages  history  type-theory  category-theory 

क्या ऐसे प्रोग्राम हैं जो किसी भी दो भाषाओं के बीच स्रोत कोड का 'अनुवाद' कर सकते हैं (यह मानते हुए कि अनुवादक के पास अपेक्षित पुस्तकालयों तक पहुंच है)? यदि वहाँ हैं, तो वे कैसे काम करते हैं (तकनीक का उपयोग किया जाता है, ज्ञान की आवश्यकता होती है, …

28 computability  programming-languages  compilers 

फिक्स्ड-पॉइंट कॉम्बीनेटर FIX (उर्फ वाई कॉम्बीनेटर) में (अप्रकाशित) लैम्ब्डा कैलकुलस ( ) को इस प्रकार परिभाषित किया गया है:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) मैं इसका उद्देश्य समझता हूं और …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

यह सवाल सॉफ्टवेयर इंजीनियरिंग स्टैक एक्सचेंज से माइग्रेट किया गया था क्योंकि इसका उत्तर कंप्यूटर साइंस स्टैक एक्सचेंज में दिया जा सकता है। 6 साल पहले पलायन कर गए । क्या हम भाषा विज्ञान के संदर्भ में प्रोग्रामिंग भाषाओं का अध्ययन कर सकते हैं? क्या प्रोग्रामिंग भाषाएं प्राकृतिक भाषाओं के …

27 programming-languages  natural-language-processing 

हम ज्यादातर उच्च स्तरीय भाषा में कार्यक्रम लिखते हैं। इसलिए पढ़ाई के दौरान मैं विधानसभा की भाषा में आया। इसलिए एक असेंबलर असेंबली लैंग्वेज को मशीन लैंग्वेज में बदल देता है और एक कंपाइलर हाई लेवल लैंग्वेज के साथ ऐसा ही करता है। मैंने पाया कि असेंबली लैंग्वेज में निर्देश …

27 programming-languages  education  history 

कचरा एकत्र भाषा डिजाइन के आसपास के फैसलों में अंतर्दृष्टि की तलाश। शायद एक भाषा विशेषज्ञ मुझे बता सकता है? मैं एक C ++ बैकग्राउंड से आता हूं, इसलिए यह क्षेत्र मेरे लिए चौंकाने वाला है। ऐसा लगता है कि रूबी, जावास्क्रिप्ट / ES6 / ES7, Actionscript, Lua, आदि OOPy …

27 programming-languages  memory-management  garbage-collection  language-design 

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

26 computability  programming-languages  turing-completeness 

मुझे कई ओपन सोर्स विजुअल प्रोग्रामिंग टूल जैसे ब्लॉकली और फ्रेंड्स, और जीथब में होस्ट किए गए अन्य प्रोजेक्ट मिल गए हैं, लेकिन एब्सट्रैक्ट सिंटैक्स ट्री के साथ सीधे काम करने वाला कोई भी नहीं मिला। ऐसा क्यों है? मैं पूछ रहा हूं क्योंकि एक बार जब मुझे पता चला …

25 programming-languages  language-design  syntax-trees 

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

25 formal-languages  programming-languages  regular-expressions