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

हाल ही में मुझे अपने कोड की पठनीयता में एक समस्या हुई। मेरे पास एक फ़ंक्शन था जिसने एक ऑपरेशन किया और भविष्य के संदर्भ के लिए इस ऑपरेशन की आईडी का प्रतिनिधित्व करने वाला एक स्ट्रिंग लौटाया (विंडोज में एक ओपनफाइल की तरह थोड़ा सा एक हैंडल लौटा)। उपयोगकर्ता …

141 type-systems 

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

69 productivity  comparison  type-systems  dynamic-typing  static-typing 

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

66 java  haskell  type-systems  static-typing 

इस "अकादमिक" प्रश्न पर विचार करें। मैं समय-समय पर NULL से बचने के बारे में सोचता रहा हूं और यह एक उदाहरण है जहां मैं संतोषजनक समाधान नहीं कर सकता। आइए मान लें कि मैं मापों को संग्रहीत करता हूं जहां अवसरों पर माप असंभव (या लापता) होने के लिए …

57 data-structures  type-systems  data-types 

यह ठीक क्यों है और अधिकतर अपेक्षित है: abstract type Shape { abstract number Area(); } concrete type Triangle : Shape { concrete number Area() { //... } } ... जबकि यह ठीक नहीं है और कोई भी शिकायत नहीं करता है: concrete type Name : string { } concrete …

53 type-systems  static-typing  strong-typing 

कुछ अंतर्निहित प्रकार की सुरक्षा के साथ एक भाषा मान लेना (जैसे, जावास्क्रिप्ट नहीं): ऐसी पद्धति को देखते हुए SuperType, जिसे हम स्वीकार करते हैं , हम जानते हैं कि ज्यादातर मामलों में जिसमें हमें कार्रवाई करने के लिए टाइप परीक्षण करने के लिए लुभाया जा सकता है: public void …

53 type-systems 

एरिक लिपर्ट ने अपनी चर्चाnullMaybe<T> में एक बहुत ही दिलचस्प बात कही कि C # एक प्रकार के बजाय # का उपयोग क्यों करता है : प्रकार प्रणाली की स्थिरता महत्वपूर्ण है; क्या हम हमेशा यह जान सकते हैं कि गैर-अशोभनीय संदर्भ किसी भी परिस्थिति में कभी भी अमान्य नहीं …

53 type-systems  null 

पृष्ठभूमि मैं एक भाषा डिजाइन कर रहा हूं, एक साइड प्रोजेक्ट के रूप में। मेरे पास इसके लिए एक वर्किंग असेंबलर, स्टैटिक एनालाइजर और वर्चुअल मशीन है। चूंकि मैं अपने द्वारा बनाए गए बुनियादी ढांचे का उपयोग करके गैर-तुच्छ कार्यक्रमों को पहले ही संकलित और चला सकता हूं, इसलिए मैंने …

50 programming-languages  language-design  inheritance  type-systems  virtual-machine 

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

49 programming-languages  type-systems 

में जावास्क्रिप्ट: The Good पार्ट्स डगलस Crockford द्वारा, वह अपने विरासत अध्याय में उल्लेख है, शास्त्रीय विरासत का अन्य लाभ यह है कि इसमें एक प्रकार की प्रणाली के विनिर्देश शामिल हैं। यह ज्यादातर प्रोग्रामर को स्पष्ट कास्टिंग ऑपरेशन लिखने से मुक्त करता है, जो एक बहुत अच्छी बात है …

47 type-systems  type-safety 

PHP, जैसा कि हम में से अधिकांश जानते हैं, कमजोर टाइपिंग है । जो लोग नहीं करते हैं, उनके लिए PHP.net कहता है: PHP को चर घोषणा में स्पष्ट प्रकार की परिभाषा (या समर्थन) की आवश्यकता नहीं है; एक चर का प्रकार उस संदर्भ से निर्धारित होता है जिसमें चर …

45 php  type-systems  weak-typing  type-casting 

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

44 java  programming-languages  type-systems  data-types 

क्या कुछ तकनीकें हैं जिनका मैं अस्तित्व के प्रकारों पर निर्भरता को दूर करने के लिए लगातार रिफ्लेक्टर कोड का उपयोग कर सकता हूं? आमतौर पर ये आपके प्रकार के अवांछित निर्माणों को अयोग्य घोषित करने के साथ-साथ दिए गए प्रकार के बारे में कम से कम ज्ञान के साथ …

43 functional-programming  haskell  type-systems 

यह एक दोस्त के साथ चर्चा में आया, और मैंने खुद को किसी भी अच्छे तर्क के बारे में सोचने के लिए कठोर पाया। कमजोर टाइपिंग कॉन्फ्रेंस के क्या लाभ हैं?

40 type-systems  type-safety  weak-typing 

मैं कोड लिखने की तुलना में अधिक बार कोड पढ़ता हूं, और मैं मान रहा हूं कि औद्योगिक सॉफ्टवेयर पर काम करने वाले अधिकांश प्रोग्रामर ऐसा करते हैं। मुझे लगता है कि अनुमान के प्रकार का लाभ कम वाचालता और कम लिखित कोड है। लेकिन दूसरी ओर यदि आप अधिक …

37 programming-languages  type-systems