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

जूलिया के वेबपेज पर एक नज़र डालते हुए , आप कई एल्गोरिदम (नीचे दिखाए गए समय) में कई भाषाओं के कुछ बेंचमार्क देख सकते हैं। कंपाइलर वाली भाषा मूल रूप से C, आउटपरफॉर्म C कोड में कैसे लिखी जा सकती है? चित्र: C के सापेक्ष बेंचमार्क समय (छोटा बेहतर है, …

175 programming-languages  compilers  efficiency 

मैं C / C ++ में बहुत धाराप्रवाह हूं, और विभिन्न स्क्रिप्टिंग भाषाओं (awk / sed / perl) के आसपास अपना रास्ता बना सकता हूं। मैंने अजगर का उपयोग बहुत अधिक करना शुरू कर दिया है, क्योंकि यह सी ++ के कुछ निफ्टी पहलुओं को जोड़ता है जो कि awk …

130 programming-languages 

मैं हास्केल सीख रहा हूं और मैं भाषा से रोमांचित हूं। हालांकि मेरे पास कोई गंभीर गणित या सीएस पृष्ठभूमि नहीं है। लेकिन मैं एक अनुभवी सॉफ्टवेयर प्रोग्रामर हूं। मैं श्रेणी सिद्धांत सीखना चाहता हूं ताकि मैं हास्केल में बेहतर बन सकूं। हास्केल को समझने के लिए श्रेणी सिद्धांत में …

118 programming-languages  functional-programming  category-theory 

मैंने देखा है कि कुछ एप्लिकेशन या एल्गोरिदम जो प्रोग्रामिंग लैंग्वेज पर बनाए जाते हैं, कहते हैं कि C ++ / Rust तेजी से या स्नैपीयर कहते हैं, जो कि जावा / Node.js पर बने हैं, उसी मशीन पर चलते हैं। इस बारे में मेरे पास कुछ सवाल हैं: ऐसा …

80 programming-languages  compilers 

सवाल: "एक प्रोग्रामिंग भाषा के कुछ गुणों की आवश्यकता हो सकती है कि इसमें लिखा कोड प्राप्त करने का एकमात्र तरीका व्याख्या द्वारा है। दूसरे शब्दों में, पारंपरिक सीपीयू के एक देशी मशीन कोड का संकलन संभव नहीं है। ये गुण क्या हैं?" कंपाइलर: पराग एच। दवे और हिमांशु बी। …

71 programming-languages  compilers  interpreters 

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

66 programming-languages  program-correctness  software-verification 

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

64 programming-languages  education  typing  research 

मुझे आश्चर्य है कि क्या रूबी जैसी गतिशील भाषाओं के लिए कंपाइलरों का निर्माण संभव है, C / C ++ के समान और तुलनीय प्रदर्शन? उदाहरण के लिए, मैं कंपाइलर के बारे में जो कुछ भी समझता हूं, रूबी को उदाहरण के लिए लेता हूं, रूबी कोड को कभी भी …

64 programming-languages  compilers 

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

57 terminology  programming-languages  type-theory  functional-programming  dependent-types 

क्या प्रोग्रामिंग भाषा में प्रोग्रामिंग भाषा का एक सेट मौजूद है ताकि ट्यूरिंग को पूर्ण माना जा सके? विकिपीडिया से जो मैं बता सकता हूं , उससे भाषा को पुनरावृत्ति का समर्थन करने की आवश्यकता है, या प्रतीत होता है, बिना रुके दौड़ने में सक्षम होना चाहिए। क्या यह सब …

55 computability  programming-languages  turing-machines  turing-completeness 

सुरक्षित प्रोग्रामिंग भाषाएँ (PL) लोकप्रियता प्राप्त कर रही हैं। मुझे आश्चर्य है कि सुरक्षित पीएल की औपचारिक परिभाषा क्या है । उदाहरण के लिए, सी सुरक्षित नहीं है, लेकिन जावा सुरक्षित है। मुझे संदेह है कि संपत्ति "सुरक्षित" को पीएल के बजाय पीएल कार्यान्वयन पर लागू किया जाना चाहिए। यदि …

55 programming-languages 

इस प्रश्न के भोलेपन के लिए अग्रिम में माफी। मैं एक 50 वर्षीय कलाकार हूं, जो पहली बार कंप्यूटरों को ठीक से समझने की कोशिश कर रहा है। तो यहाँ जाता है। मैं यह समझने की कोशिश कर रहा हूं कि कंपाइलर द्वारा डेटा प्रकार और चर कैसे संभाले जाते …

47 programming-languages  memory-allocation 

जब मुझे (एक) बाहरी प्रोग्राम्स / फ़ंक्शंस पर हुक करना चाहिए तो एक अजीब समस्या सामने आई। फ़ंक्शंस 'C' और 'C ++' में कार्य वेरिएडिक फ़ंक्शंस को हुक नहीं कर सकते , जैसे मैं एक फ़ंक्शन नहीं बना सकता जिसे 'printf' कहा जाता है। ठीक उसी तर्कों के साथ जो …

42 computability  programming-languages  turing-completeness 

द शॉर्ट स्टोरी एक प्रसिद्ध कंप्यूटर वैज्ञानिक, टारजन ने एक किताब साल पहले लिखी थी। इसमें बिलकुल विचित्र स्यूडोकोड होता है। क्या कोई इसे स्पष्ट करेगा? द लॉन्ग स्टोरी टारजन को कई उपलब्धियों के लिए जाना जाता है, जिसमें इस तथ्य को भी शामिल किया गया है कि वह स्प्ले …

40 programming-languages 

एक विशिष्ट जेनरेशनल कचरा कलेक्टर एक अलग मेमोरी क्षेत्र में हाल ही में आवंटित डेटा रखता है। विशिष्ट कार्यक्रमों में, बहुत सारा डेटा अल्पकालिक होता है, इसलिए युवा कचरा (एक मामूली जीसी चक्र) को बार-बार इकट्ठा करना और पुराने कचरा को इकट्ठा करना स्मृति ओवरहेड और जीसी करने में बिताए …

38 programming-languages  computer-architecture  cpu-cache  garbage-collection