आईफेल में डेवलपर—कॉन्ट्रैक्ट द्वारा डिज़ाइन और विश्वसनीय ओओपी

मैं आईफेल में एक डेवलपर हूँ, जहाँ सही होना एक अच्छा ऐड-ऑन नहीं बल्कि कार्य का दिल है। अधिकांश ऑब्जेक्ट-ओरिएंटेड कोड परीक्षणों और आशा पर निर्भर करता है; मैं कॉन्ट्रैक्ट द्वारा डिज़ाइन—कॉन्ट्रैक्ट प्रोग्रामिंग पर निर्भर करता हूँ। प्रत्येक क्लास अपने प्रतिबद्धताओं को स्पष्ट रूप से घोषित करती है: प्री-कंडीशन्स जिन्हें कॉलर को संतुष्ट करना चाहिए, पोस्ट-कंडीशन्स जो विधि की गारंटी देती है, और क्लास इनवेरिएंट्स जो ऑब्जेक्ट के जीवनकाल के दौरान सत्य होते हैं। ऐसा कॉन्ट्रैक्ट एक निष्पादन योग्य विशिष्टता है, जिसे विकास के दौरान रनटाइम पर जांचा जा सकता है और हमेशा एक दस्तावेज़ का हिस्सा होता है। जब कुछ टूटता है, तो जांच ठीक उसी उल्लंघन सीमा पर होती है, और त्रुटि उसके स्रोत पर पकड़ी जाती है बजाय इसके कि तीन परतों बाद भ्रष्ट स्थिति के रूप में उभरे।

मेरी इंजीनियरिंग सख्त स्टैटिक टाइपिंग, वॉइड-सेफ्टी, और अनुशासन के चारों ओर बनी है जो भाषा स्वयं लागू करती है: सावधानीपूर्वक विरासत के साथ नामकरण और चयन, आदेशों और प्रश्नों का पृथक्करण, समान पहुंच ताकि ग्राहक भंडारण कार्यान्वयन पर निर्भर न हों। मैं क्लासों के छोटे, समेकित, और प्रमाणित रूप से संयोज्य समूहों को डिज़ाइन करता हूँ, उन्हें अनुबंधों के माध्यम से ईमानदार रखता हूँ जैसे-जैसे सिस्टम बढ़ता है। मैं आईफेलस्टूडियो और इसके इंक्रीमेंटल कंपाइलर के साथ धाराप्रवाह काम करता हूँ, डेटा रेस के बिना समवर्तीता के लिए एससीओओपी लागू करता हूँ, और जब प्रोजेक्ट की आवश्यकता होती है तो आईफेल को सी और तैयार-निर्मित पुस्तकालयों से जोड़ता हूँ। प्रदर्शन और विश्वसनीयता मेरे लिए साझेदार हैं: मैं वास्तविक लोड का प्रोफाइल करता हूँ बजाय इसके कि अनुमान लगाऊं।

मैं सिस्टम को शून्य से शुरू करता हूँ और नाजुक विरासत को बचाता हूँ जिसे विश्वसनीय बनाना आवश्यक है। मैं धीरे-धीरे अधूरे-स्पेसिफाइड कोड में कॉन्ट्रैक्ट्स को पेश कर सकता हूँ, सबसे जोखिम भरे मॉड्यूल को मजबूत कर सकता हूँ, और अगले इंजीनियर के लिए इरादे का दस्तावेज़ीकरण करने वाले जांचों और परीक्षणों का एक सेट छोड़ सकता हूँ। यदि आप कुछ ऐसा बना रहे हैं जो सही होना चाहिए—वित्तीय लॉजिक, नियंत्रण सॉफ़्टवेयर, उपकरण जिन पर अन्य टीमें निर्भर करती हैं—मैं एक "पहले सत्यापित करें" दृष्टिकोण लाता हूँ जो आपके उपयोगकर्ताओं से पहले दोषों को पकड़ता है।

— आईफेल में शून्य से एप्लिकेशन और पुस्तकालय विकास
— कॉन्ट्रैक्ट द्वारा डिज़ाइन: प्री- और पोस्टकंडीशन्स, क्लास इनवेरिएंट्स, लूप वेरिएंट्स
— वॉइड-सेफ, सख्ती से टाइप की गई क्लासों और समूहों की आर्किटेक्चर
— विरासत को मजबूत करना और क्रमिक कॉन्ट्रैक्ट पेश करना
— एससीओओपी के माध्यम से समवर्तीता और सी और बाहरी पुस्तकालयों के साथ एकीकरण
— आईफेलस्टूडियो कॉन्फ़िगरेशन, निर्माण, प्रोफाइलिंग, और परीक्षण सूट