type-systems पर टैग किए गए जवाब

मैंने उद्यम में प्रोग्रामिंग भाषा की पसंद के बारे में इंटरनेट पर कुछ लेख पढ़े हैं। हाल ही में कई डायनामिक टाइप की गई भाषाएँ लोकप्रिय रही हैं, जैसे कि रूबी, पायथन, पीएचपी और एर्लैंग। लेकिन कई उद्यम अभी भी सी, सी ++, सी # और जावा जैसी स्थिर टाइप …

35 programming-languages  dynamic-typing  static-typing  type-systems 

मेरे पास ये दो छोटे कार्यक्रम हैं: सी #include <stdio.h> int main() { if (5) { printf("true\n"); } else { printf("false\n"); } return 0; } जावा class type_system { public static void main(String args[]) { if (5) { System.out.println("true"); } else { System.out.println("false"); } } } जो त्रुटि संदेश की …

33 java  c  type-systems 

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

33 functional-programming  haskell  language-features  type-systems 

मैंने एक संबंधित प्रश्न पढ़ा है कि क्या पायथन जैसी गतिशील भाषाओं में कोई डिज़ाइन पैटर्न अनावश्यक हैं? और इस उद्धरण को Wikiquote.org पर याद किया डायनामिक टाइपिंग के बारे में आश्चर्यजनक बात यह है कि यह आपको कुछ भी व्यक्त करने देता है जो कि कम्प्यूटेबल है। और सिस्टम …

30 design-patterns  python  type-systems  dynamic-typing 

जावा 8 में नए लैम्ब्डा नोटेशन (उदाहरण के लिए इस लेख को देखें ) की शुरूआत किसी प्रकार के अनुमान की आवश्यकता है? यदि हां, तो नई प्रकार की प्रणाली जावा भाषा को समग्र रूप से कैसे प्रभावित करेगी?

30 java  type-systems  lambda  java8 

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

29 java  haskell  scala  type-systems  rust 

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

29 type-systems  generics 

ऐसा लगता है कि सभी नई प्रोग्रामिंग भाषाएं या कम से कम जो लोकप्रिय उपयोग प्रकार के अनुमान बन गए हैं। यहां तक ​​कि जावास्क्रिप्ट को भी प्रकार और प्रकार के निष्कर्ष मिले, हालांकि विभिन्न कार्यान्वयन (एसस्क्रिप्ट, टाइपस्क्रिप्ट आदि)। यह मुझे बहुत अच्छा लग रहा है, लेकिन मैं सोच रहा …

29 programming-languages  type-systems 

एरिक लिपर्ट के लेख में हंगेरियन नोटेशन के साथ क्या है? , वह बताता है कि हंगेरियन नोटेशन (अच्छा प्रकार) का उद्देश्य है भंडारण प्रतिनिधित्व सूचना के अलावा अर्थ सूचना को शामिल करने के लिए "प्रकार" की अवधारणा का विस्तार करें। एक सरल उदाहरण एक चर का उपसर्ग होगा जो …

28 naming  type-systems  static-typing  hungarian 

जब डिजाइनिंग और एक वस्तु उन्मुख प्रोग्रामिंग भाषा implenting, कुछ बिंदु से एक में एक (जैसे मौलिक प्रकार लागू करने के बारे चुनाव करना चाहिए int, float, doubleया समकक्ष) वर्ग या कुछ और के रूप में। स्पष्ट रूप से, सी परिवार की भाषाओं में उन्हें वर्गों के रूप में परिभाषित …

27 object-oriented  language-design  compiler  type-systems 

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

24 type-systems 

नोट: जब मैंने शीर्षक में "जटिल" का उपयोग किया था, तो मेरा मतलब है कि अभिव्यक्ति में कई ऑपरेटर और ऑपरेंड हैं। ऐसा नहीं है कि अभिव्यक्ति ही जटिल है। मैं हाल ही में x86-64 विधानसभा के लिए एक साधारण संकलक पर काम कर रहा हूँ। मैंने संकलक के मुख्य …

23 language-agnostic  compiler  type-systems  type 

मैंने वो पढ़ा है हिंडले-मिलनर उप-प्रकारों वाले सिस्टम के साथ काम नहीं करता है, और अन्य प्रकार के सिस्टम फीचर्स हैं जो इसके साथ अच्छी तरह से काम नहीं करते हैं। वर्तमान में जाओ :=ऑपरेटर में केवल बहुत सीमित प्रकार का अनुमान है । लेकिन गो के पास पारंपरिक अर्थों …

22 haskell  type-systems  go 

क्या इसके लिए कुछ सैद्धांतिक कारण हैं (जैसे कि प्रकार की जाँच या प्रकार का अनुमान असाध्य हो जाएगा), या व्यावहारिक कारण (ठीक से लागू करने के लिए बहुत मुश्किल)? वर्तमान में, हम चीजों को इस newtypeतरह से लपेट सकते हैं newtype Pair a = Pair (a, a) और फिर …

22 haskell  abstraction  type-systems  lambda 

हास्केल के संदर्भ में वाई कॉम्बीनेटर को समझाते समय, यह आमतौर पर नोट किया जाता है कि अपने पुनरावर्ती प्रकार के कारण स्ट्रेट-फॉरवर्ड कार्यान्वयन हास्केल में टाइप-चेक नहीं करेगा। उदाहरण के लिए, रोज़ेटाकोड से : The obvious definition of the Y combinator in Haskell canot be used because it contains …

21 haskell  type-systems  static-typing  ocaml