invariants पर टैग किए गए जवाब

मैं काम पर कोडर्स पढ़ रहा हूं , और इसमें बहुत से लोगों के बारे में बात की गई है। जहां तक ​​मैंने इसे समझा है, एक अपरिवर्तनीय एक ऐसी स्थिति है जो एक अभिव्यक्ति से पहले और बाद में दोनों रखती है। वे अन्य बातों के अलावा, यह साबित …

48 invariants 

यह जाँच का सबसे लोकप्रिय तरीका है (यह मुझे लगता है) कि क्या कोई ऐरे में है: for (int x : array) { if (x == value) return true; } return false; हालांकि, एक किताब में मैंने कई साल पहले, शायद, Wirth या Dijkstra द्वारा पढ़ा है, यह कहा गया …

17 coding-style  search  loops  invariants  structured-programming 

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

16 programming-languages  language-agnostic  invariants 

जब मैंने C ++ को बहुत पहले सीखा था, तो मुझे इस बात पर ज़ोर दिया गया था कि C ++ के बिंदु का हिस्सा यह है कि जैसे लूप में "लूप-इनवेरिएंट" होता है, कक्षाओं में भी ऑब्जेक्ट के जीवनकाल से जुड़े इन्वर्टर होते हैं - चीजें जो सच होनी …

13 c++  object-oriented-design  c++11  invariants 

मुझे पता है कि आक्रमणकारियों की अवधारणा कई प्रोग्रामिंग प्रतिमानों में मौजूद है। उदाहरण के लिए, लूप आक्रमणकारी ओओ, कार्यात्मक और प्रक्रियात्मक प्रोग्रामिंग में प्रासंगिक हैं। हालांकि, ओओपी में पाया जाने वाला एक बहुत ही उपयोगी प्रकार एक विशेष प्रकार के डेटा का एक अपरिवर्तनीय है। यह मैं शीर्षक में …

9 functional-programming  language-agnostic  paradigms  invariants