मैं आपके लिए स्कॉट व्लासचिन के लेख "प्रकारों के साथ डिजाइनिंग: गैरकानूनी राज्यों को अप्राप्य बनाना" का अनुवाद प्रस्तुत करता हूं।

इस अनुच्छेद में, हम एफ # के महत्वपूर्ण लाभ को देखेंगे - टाइप सिस्टम का उपयोग करके "गलत राज्यों को अक्षम करने की क्षमता" (वाक्यांश यारन मिनस्की से उधार लिया गया था)।

Contact प्रकार पर विचार Contact । रिफैक्टरिंग के परिणामस्वरूप , उन्होंने बहुत सरलीकरण किया:

 type Contact = { Name: Name; EmailContactInfo: EmailContactInfo; PostalContactInfo: PostalContactInfo; } 

अब मान लीजिए कि एक सरल व्यापार नियम है: "संपर्क में एक ईमेल पता या एक डाक पता होना चाहिए।" क्या हमारा प्रकार इस नियम का अनुपालन करता है?

नहीं। यह इस नियम का अनुसरण करता है कि किसी संपर्क में एक ईमेल पता हो सकता है, लेकिन मेलिंग पता या इसके विपरीत नहीं है। हालाँकि, अपने वर्तमान स्वरूप में, दोनों फ़ील्ड को भरने की आवश्यकता होती है।

ऐसा लगता है कि उत्तर स्पष्ट है - पते को वैकल्पिक बनाएं, उदाहरण के लिए, इस तरह:

 type Contact = { Name: PersonalName; EmailContactInfo: EmailContactInfo option; PostalContactInfo: PostalContactInfo option; } 

लेकिन अब हमारा प्रकार बहुत अधिक अनुमति देता है। इस कार्यान्वयन में, आप बिना किसी पते के संपर्क बना सकते हैं, हालांकि नियम के लिए आवश्यक है कि कम से कम एक पते को निर्दिष्ट किया जाए।

इस समस्या को कैसे हल करें?

कैसे गलत राज्यों को अक्षम्य बनाना है

व्यापार तर्क के नियम पर विचार करने के बाद, हम यह निष्कर्ष निकाल सकते हैं कि तीन मामले संभव हैं:

• केवल ईमेल पता प्रदान किया जाता है;
• केवल डाक पते को इंगित किया गया है;
• ईमेल और डाक पते दोनों प्रदान किए जाते हैं।

इस तरह के सूत्रीकरण में, समाधान स्पष्ट हो जाता है - प्रत्येक संभावित मामले के लिए एक निर्माता के साथ एक प्रकार-योग बनाने के लिए।

 type ContactInfo = | EmailOnly of EmailContactInfo | PostOnly of PostalContactInfo | EmailAndPost of EmailContactInfo * PostalContactInfo type Contact = { Name: Name; ContactInfo: ContactInfo; } 

यह कार्यान्वयन पूरी तरह से अनुपालन है। सभी तीन मामलों को स्पष्ट रूप से व्यक्त किया जाता है, जबकि चौथा मामला (बिना किसी पते के) की अनुमति नहीं है।

"ईमेल पते और डाक पते" के मामले पर ध्यान दें। अभी तक मैंने सिर्फ एक टपल का इस्तेमाल किया था। इस मामले में, यह पर्याप्त है।

ContactInfo बनाना

अब देखते हैं कि उदाहरण के रूप में इस कार्यान्वयन का उपयोग कैसे करें। सबसे पहले, एक नया संपर्क बनाएं:

 let contactFromEmail name emailStr = let emailOpt = EmailAddress.create emailStr //          match emailOpt with | Some email -> let emailContactInfo = {EmailAddress=email; IsEmailVerified=false} let contactInfo = EmailOnly emailContactInfo Some {Name=name; ContactInfo=contactInfo} | None -> None let name = {FirstName = "A"; MiddleInitial=None; LastName="Smith"} let contactOpt = contactFromEmail name "abc@example.com" 

इस उदाहरण में, हम नाम और ईमेल पते को पारित करके एक नया संपर्क बनाने के लिए एक सरल सहायक फ़ंक्शन संपर्क बनाते हैं। हालाँकि, पता गलत हो सकता है, और फ़ंक्शन को इन दोनों मामलों को संभालना चाहिए। फ़ंक्शन अमान्य पते के साथ संपर्क नहीं बना सकता है, इसलिए यह Contact option प्रकार का Contact option लौटाता है, संपर्क नहीं।

ContactInfo बदलें

यदि आपको किसी मौजूदा ContactInfo एक मेलिंग पता जोड़ने की आवश्यकता है, तो आपको तीन संभावित मामलों को संभालना होगा:

• यदि संपर्क में केवल एक ईमेल पता था, तो अब उसके पास दोनों पते हैं, इसलिए आपको निर्माणकर्ता EmailAndPost साथ संपर्क वापस करने की आवश्यकता है;
• यदि संपर्क में केवल एक डाक पता था, तो आपको डाक पते के साथ संपर्क वापस करना होगा, मेलिंग पते को एक नए के साथ बदलना;
• यदि संपर्क में दोनों पते थे, तो आपको EmailAndPost पते को नए के साथ बदल कर, निर्माणकर्ता EmailAndPost साथ संपर्क वापस करना होगा।

मेलिंग पते को अपडेट करने का सहायक कार्य निम्नानुसार है। प्रत्येक मामले के लिए स्पष्ट प्रसंस्करण पर ध्यान दें।

 let updatePostalAddress contact newPostalAddress = let {Name=name; ContactInfo=contactInfo} = contact let newContactInfo = match contactInfo with | EmailOnly email -> EmailAndPost (email,newPostalAddress) | PostOnly _ -> //     PostOnly newPostalAddress | EmailAndPost (email,_) -> //     EmailAndPost (email,newPostalAddress) //    {Name=name; ContactInfo=newContactInfo} 

और यहाँ इस कोड का उपयोग है:

 let contact = contactOpt.Value //      option.Value  let newPostalAddress = let state = StateCode.create "CA" let zip = ZipCode.create "97210" { Address = { Address1= "123 Main"; Address2=""; City="Beverly Hills"; State=state.Value; //      option.Value  Zip=zip.Value; //      option.Value  }; IsAddressValid=false } let newContact = updatePostalAddress contact newPostalAddress 

चेतावनी: इस उदाहरण में, मैंने विकल्प का उपयोग किया। विकल्प की सामग्री पाने के लिए। यह स्वीकार्य है जब आप एक इंटरैक्टिव कंसोल में प्रयोग कर रहे हैं, लेकिन यह काम कोड के लिए एक भयानक समाधान है! आपको हमेशा पैटर्न मिलान का उपयोग करना चाहिए और option दोनों को संभालना चाहिए।

इन जटिल प्रकारों से परेशान क्यों?

इस समय तक, आप तय कर सकते हैं कि हम सभी बहुत जटिल थे। मैं तीन बिंदुओं के साथ उत्तर दूंगा।

पहला, व्यावसायिक तर्क अपने आप में जटिल है। इससे बचने का कोई आसान तरीका नहीं है। यदि आपका कोड व्यावसायिक तर्क की तुलना में सरल है, तो आपको सभी मामलों को संभालना नहीं चाहिए जैसा कि इसे करना चाहिए।

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

 type ContactInfo = | EmailOnly of EmailContactInfo | PostOnly of PostalContactInfo | EmailAndPost of EmailContactInfo * PostalContactInfo 

अंत में, यदि तर्क प्रकार द्वारा व्यक्त किया जाता है, तो व्यावसायिक तर्क के नियमों में कोई भी परिवर्तन इन परिवर्तनों को ध्यान में नहीं रखने वाले कोड को तोड़ देगा, और यह आमतौर पर अच्छा होता है।

अगले लेख में अंतिम बिंदु सामने आया है। प्रकारों के माध्यम से व्यावसायिक तर्क के नियमों को व्यक्त करने की कोशिश करते हुए, आप विषय क्षेत्र की गहन समझ में आ सकते हैं।