data structures - Choosing among alternatives in a Haskell algebraic datatype -

-

प्रकार एक्स के रूप में परिभाषित किया गया है: 

  डेटा X = एक्स {sVal :: स्ट्रिंग} | मैं {iVal :: Int} | बी {bVal :: Bool}

और मुझे int एक एक्स मान के अंदर, यदि कोई है, अन्यथा शून्य है

<पूर्व> रिटर्नआईंट :: एक्स - & gt; Int

मैं कैसे निर्धारित कर सकता हूं कि किस प्रकार का X तर्क returnInt है? 

  
 
 डेटा SomeType = X {myString :: String} | मैं {myInt :: int} | बी {myBool :: Bool}

इस परिभाषा में कोई एक्स, आई और बी प्रकार नहीं हैं I एक्स, आई और बी कन्स्ट्रक्टर जो टाइप की वैल्यू बनाते हैं सोमटाइप ध्यान दें कि जब आप उन प्रकार के कंसल्टेंट्स के साथ निर्मित किसी भी मूल्य का प्रकार है, तो आप क्या पूछते हैं, तो क्या होता है: 

  * मेन & gt; : टी (आई 5) (आई 5) :: कुछ प्रकार * मुख्य & gt; : टी (बी झूठी) (बी झूठी) :: सोमटाइप

वे उसी प्रकार से संबंधित हैं!

जिस प्रकार आप एक्स, आई और बी का उपयोग कर सकते हैं प्रकारों का निर्माण, आप प्रकार को विरूद्ध करने के लिए पैटर्न मिलान का उपयोग कर सकते हैं, जैसे ऊपर अन्य उत्तर में किया गया है: 

  returnInt :: SomeType - & gt; Int returnInt (I x) = x - यदि पैटर्न से मेल खाता है (I एक्स) तो वापस एक्स returnInt_ = त्रुटि "मुझे एक पूर्णांक मान की आवश्यकता है, आप मूर्ख" - अन्यथा एक त्रुटि फेंक
< P> बस याद रखें कि पैटर्न मिलान क्रम में होता है: यदि मूल्य कुछ पंक्ति में पैटर्न से मेल खाता है, तो नीचे दी गई रेखाओं का पैटर्न निष्पादित नहीं किया जाएगा।

ध्यान दें कि जब आप अपने प्रकार को परिभाषित करते हैं जैसे आपने किया था, उदाहरण के लिए, उदाहरण के लिए: 

  को देखने के लिए कोशिश करो। * मुख्य & gt; : My mynt myInt :: SomeType - & gt; Int

और यह फ़ंक्शन क्या करें: 

  * मुख्य & gt; मेरेआईंट (आई 5) 5 * मुख्य & gt; MyInt (B False) *** अपवाद: रिकॉर्ड चयनकर्ता Main.myInt में कोई मैच नहीं

यह निश्चित है कि returnInt ऊपर परिभाषित है अजीब त्रुटि संदेश केवल आपको बताता है कि फ़ंक्शन यह नहीं जानता कि किस प्रकार के कुछ सदस्य के साथ काम करना है जो कि (I x) से मेल नहीं खाता।

यदि आप अधिक सामान्य सिंटैक्स का उपयोग करके अपने प्रकार को परिभाषित करें: 

  डेटा SomeType2 = X String | मैं इंट | बी बूल

तब आप उन अच्छे रिकॉर्ड फ़ंक्शंस को खो देते हैं।

त्रुटि संदेश प्रोग्राम के निष्पादन को समाप्त कर देते हैं। यह कभी कभी परेशान है यदि आपको अपने कार्यों के लिए सुरक्षित व्यवहार की आवश्यकता है तो गबैकॉन का उत्तर केवल ऐसा करने का तरीका है शायद एक के बारे में जानें और इस प्रकार की गणना से निपटने के लिए इसका उपयोग करें जिसे कुछ मान वापस करने या कुछ भी वापस करने की आवश्यकता नहीं है (कोशिश करें:)।


Comments

Post a Comment

Popular posts from this blog

c# - How to capture HTTP packet with SharpPcap -

-
I would like to capture all incoming HTTP packets on my machine. To do this, I am using SharpPcap which is a WinPcap The cover is. SharpPcap works very well, but it captures TCP packets and what it wants to do for me is a very low level. Does anyone know how can I easily get full HTTP requests / reactions from all these TCP packets? Thanks SharpPcap is already able to capture the packet in the same way That's what the virus does (just in the code instead of the GUI). And you can either either parse them directly or you can put them in the drive in the common .pcap file format. The steps to parse the capture are: Open a connection at any time Loop a while Or start capturing using an event callback Parsing the raw packet for the type you want If you are reading .PPP dump files In addition to calling you an offline capture reader is almost the same, there is no need to select an interface, and you can set the majority There is no need to do the modes. All st...
Read more

php - Multiple Select with Explode: only returns the word "Array" -

-
By using Wordpress I have created a multiple selection box so that users can select categories to exclude. When the page is initially loaded, I see my predefined default option. However, when I select a new value and I save ... I only see the word "Array" and have not chosen anything else? & lt; Class = "amultiple" id = "& lt; php echo $ value ['id'] ;? gt;" name = "& gt; php echo $ value ['id'] ;; gt; []" Multiple = "multiple" size = "8" & gt; & Lt ;? Php global option; Foreign currency ($ value as value $) {if (get_settings ($ value ['id']) === FALSE {$$ value ['id'] = $ value ['std']; } And {$$ value ['id'] = get_settings ($ value ['id']); }} $ Ranges = & amp; Amp; Categories ('type = post & orderbiz = name & amp; hide_empty = 1'); If ($ ranges) {$ ex_cat = implode (',', $ tt_cat_exclude); Forex Currency ($ range a...
Read more

php - jQuery AJAX Post not working -

-
I do not understand why this script does not work. It has something to do within AJAX PostScript / Function. Right now, when I submit my form, it runs php code on the same page. What it should do, send the values ​​of the form for Project_Azax.fp, then there will be a refund of success on the page which is correct or false. $ (document) .ready (function () {$ ('div # didIt'). Hide (); $ ('form [name = adminForm]'). Submit (function () ($ {'.post' ('/ project_ajax.php', {action: $ ('[name = action]') Val (), pId: $ ('[name = pId]'). Val (), name ('[Name = name]'. Val (), url: $ ('[url = url]'). Val (), summary: ('[summary = summary]'). Val ()}, Function (data) {if (data.success) {$ ('div # didIt') .Sliddown ('slow');} and {warning ('unsuccessful SA!');}}, 'Jason'); return false ;});}); What is the code for project_ajax.php below ... if ($ _ POST ['action'] == ...
Read more