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

मैंने पायथन में मुख्य रूप से कोडिंग शुरू की जहां कोई प्रकार की सुरक्षा नहीं है, फिर सी # और जावा में ले जाया जाता है जहां है। मैंने पाया कि मैं पायथन में कम सिर दर्द के साथ और अधिक तेज़ी से काम कर सकता हूं, लेकिन फिर, मेरे …

108 data-types  dynamic-typing  static-typing  type-safety 

मैं संकलन चरण में कीड़े के एक निश्चित वर्ग को पकड़ने के लिए दृढ़ता से टाइप किए गए टाइफेड घोषित करने का एक तरीका सोचने की कोशिश कर रहा हूं। यह अक्सर ऐसा होता है कि मैं कई प्रकार के आईडी, या स्थिति या वेग के लिए एक सदिश टाइप …

49 c++  c++11  type-safety 

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

47 type-systems  type-safety 

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

40 type-systems  type-safety  weak-typing 

वे यह क्यों कहते हैं कि XML टाइप सुरक्षा प्रदान करता है और यह XML में कैसे व्यक्त किया जाता है? यह JSON से अलग कैसे है (उदाहरण के लिए) जो (जैसा कि मैं समझता हूं) टाइप सुरक्षित नहीं है?

30 xml  type-safety 

मान लीजिए मैं एक पुस्तकालय लिखना चाहता हूं जो वैक्टर और मैट्रिसेस से संबंधित है। क्या आयामों को प्रकारों में बांधना संभव है, ताकि असंगत आयामों के संचालन से संकलन समय पर एक त्रुटि उत्पन्न हो? उदाहरण के लिए मैं चाहूंगा कि डॉट उत्पाद का हस्ताक्षर कुछ ऐसा हो dotprod …

20 haskell  type-systems  type-safety 

हाल ही में एक परियोजना के दौरान मैं जिस पर काम कर रहा था, मुझे उस तरह के बहुत सारे कार्यों का उपयोग करना पड़ा: static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double …

17 c++  type-systems  data-types  type-safety 

यह पृष्ठ http://golang.org/doc/go_faq.html लिखते हैं: यद्यपि गो में स्थिर प्रकार होते हैं, भाषा सामान्य ओओ भाषाओं की तुलना में हल्के वजन का अनुभव करने का प्रयास करती है तो मेरा सवाल यह है कि क्या यह सुरक्षित रूप से जेनिक्स (जैसे सी #) या शिथिल टाइप (जैसे जावास्क्रिप्ट) या वैकल्पिक …

14 programming-languages  algorithms  google  go  type-safety 

मैं स्थैतिक प्रकार की जाँच का बहुत बड़ा प्रशंसक हूँ। यह आपको इस तरह बेवकूफ बनाने से रोकता है: // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too लेकिन यह आपको इस तरह बेवकूफ बनाने से नहीं रोकता है: Adult a …

13 business-logic  static-typing  type-safety 

अगर मैं एक संयुक्त सील traitया abstract classस्काला का उपयोग करता हूं और फिर पैटर्न मिलान का उपयोग करता हूं, तो मुझे आश्चर्य है कि क्या कंपाइलर को इस विशेष पैटर्नमैच के लिए संकलन समय पर नहीं पता है कि इस विशेषता / वर्ग के संभावित कार्यान्वयन क्या उपलब्ध हैं? …

10 scala  type-safety  trait  pattern-matching 

क्या PHP की जेनेरिक की कमी के आसपास कोई भी सभ्य काम है जो स्थैतिक कोड निरीक्षण को प्रकार की स्थिरता का पता लगाने की अनुमति देता है? मेरे पास एक अमूर्त वर्ग है, जिसे मैं उप-वर्ग करना चाहता हूं और यह भी लागू करता हूं कि किसी एक प्रकार …

9 inheritance  class  type-safety