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

मैं सोच रहा हूं कि क्या कोई ऐसे प्रयोग हैं जो गतिशील भाषा के उपयोग (जैसे कि पायथन, रूबी, या यहां तक ​​कि जावा प्लेटफॉर्म पर चलने वाली भाषा जैसे Groovy, Clojure) के बीच सहसंबंध के अस्तित्व या गैर-अस्तित्व को दर्शाते हैं स्थिर भाषा (जैसे C / C ++), और …

25 programming-languages  empirical-research  software-engineering 

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

24 terminology  programming-languages  meta-programming 

इस जवाब में लेडी बाउर के इस कथन के समान ही सोच है हास्केल समुदाय ने श्रेणी सिद्धांत से प्रेरित कई तकनीकों का विकास किया है, जिनमें से भिक्षुओं को सबसे अच्छी तरह से जाना जाता है लेकिन उन्हें भिक्षुओं के साथ भ्रमित नहीं होना चाहिए । बीच का रिश्ता …

24 programming-languages  functional-programming  category-theory 

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

23 programming-languages  mathematical-foundations  church-turing-thesis 

सिफारिश के अनुसार मैं इसे स्टैक ओवरफ्लो से रीपोस्ट कर रहा हूं । हाल ही में मैं निम्नलिखित मुद्दे के बारे में सोच रहा हूं। मानक के लिए कोड पर विचार करें "हैलो वर्ल्ड!" कार्यक्रम: main() { printf("Hello World"); } अब इस कोड में लगभग कोई भी बदलाव इसे पूरी …

23 programming-languages  computation-models 

इसलिए मैं इस बारे में सोच रहा था कि कचरा उठाने वाले कैसे काम करते हैं और मैंने एक दिलचस्प मुद्दा सोचा। संभवतः कचरे के संग्रहकर्ताओं को सभी संरचनाओं को एक ही तरह से पार करना पड़ता है। वे मौसम को नहीं जान सकते हैं कि वे एक लिंक की …

23 programming-languages  memory-management  garbage-collection 

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

23 programming-languages  computer-architecture 

संक्षेप में: शैक्षणिक संदर्भों में टाइप किए गए सिस्टम कैसे वर्गीकृत किए जाते हैं; विशेष रूप से, मैं उन प्रतिष्ठित स्रोतों को कहाँ पा सकता हूँ जो विभिन्न प्रकार के प्रकारों के बीच अंतर स्पष्ट करते हैं? एक अर्थ में इस प्रश्न के साथ कठिनाई यह नहीं है कि मुझे …

23 reference-request  programming-languages  type-theory 

मुझे पता है कि, अनिवार्य प्रोग्रामिंग भाषाओं में, एक टिंग-डू लूप भाषा को ट्यूरिंग-कम्प्लीट करने के लिए कंट्रोल फ्लो कंस्ट्रक्शन के रूप में पर्याप्त है (जहाँ तक कंट्रोल फ्लो जाता है - बेशक हमें अनबाउंड मेमोरी और कुछ ऑपरेटर्स की भी आवश्यकता है ...) । मेरे प्रश्न का सार यह …

22 programming-languages  turing-completeness  loops  imperative-programming 

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

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

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

20 programming-languages 

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

20 programming-languages  operating-systems 

एक लेबल संक्रमण प्रणाली देखते हुए , जहां राज्यों का एक सेट है, लेबल का एक सेट है, और एक टर्नरी संबंध है। हमेशा की तरह, लिखने के लिए । लेबल किए गए ट्रांज़िशन अर्थ है कि राज्य में सिस्टम, लेबल साथ को राज्य बदलता है , जिसका अर्थ है …

20 programming-languages  formal-methods  semantics  process-algebras 

हमारे प्रोफेसर ने हमें OCaml में एक फंक्शन के बारे में सोचने के लिए कहा, जिसमें टाइप है 'a -> 'b यानी एक तर्क का एक कार्य जो कुछ भी हो सकता है, और वह एक अलग चीज को वापस कर सकता है। मैंने raiseऐसे फ़ंक्शन में उपयोग करने के …

19 programming-languages  typing  functional-programming 

मैं टाइपिंग एल्गोरिदम पर एक व्यक्तिगत ग्रंथ सूची अनुसंधान शुरू कर रहा हूं और कुछ सुझाव चाहता हूं। सबसे अधिक उपयोग किए जाने वाले टाइप-चेक एल्गोरिदम, रणनीति और सामान्य तकनीक क्या हैं? मुझे विशेष रूप से जटिल टाइप-चेकिंग एल्गोरिदम में दिलचस्पी है जो व्यापक रूप से ज्ञात स्थिर टाइप की …

19 algorithms  programming-languages  reference-request  type-checking