haskell - How does curry (==) work? -


मैं समझता हूं कि:

(==) :: ईक ए = & gt; ए - & gt; ए - & gt;

Uncurry (==) :: ईक बी = & gt; (बी, बी) - & gt; Bool।

आवेदन का एक उदाहरण uncurry हो सकता है (==) (2, 2), जिसका परिणाम सच है।

लेकिन मैं समझ नहीं पा रहा हूं एक उदाहरण क्यों:

करी (==) :: (ईक ए, ईक बी) = & gt; ए - & gt; बी - & gt; (ए, बी) - & gt; Itemprop = "text">

करी की परिभाषा: 

  करी :: ((ए, बी) - & gt; सी) - & gt; ए - & gt; बी - & gt; सी करी एफ = \ x y - & gt; F (x, y)   
 यदि हम उस स्थान को प्रतिस्थापित करते हैं:  
  \ x y z - & gt; (करी (==) x y) z \ x y z - & gt; ((==) (x, y)) z - फ़ंक्शन अनुप्रयोग \ x y z - & gt; (==) (x, y) z - कोष्ठकों को निकालें (फ़ंक्शन एप्लिकेशन को हास्केल में एसोसिएटिव छोड़ दिया जाता है, इसलिए वे यहां अनावश्यक हैं) \ x y z - & gt; (एक्स, वाई) == जेड - इनफ़िक्स में कन्वर्ट   
 हम तुरंत बता सकते हैं कि  z  को किसी प्रकार का ट्यूपल भी होना चाहिए, या नहीं  ==  के दोनों तर्क समान प्रकार से हैं, क्योंकि पिछली पंक्ति में जांच नहीं होती।  
 जब हम  Eq <के लिए tuple उदाहरण की परिभाषा को देखते हैं < कोड>, हम पाते हैं  
  उदाहरण (ईक ए, ईक बी) = & gt; ईक (ए, बी) जहां (एक्स, वाई) == (एक्स ', वाई') = (एक्स == x ') और amp; (Y == y ')   
 (यह मानक लाइब्रेरी के स्रोत कोड में नहीं लिखा है, यह वास्तव में "स्टैंडअलोन डेरिविंग" तंत्र का प्रयोग करता है ताकि स्वचालित रूप से इसके लिए उदाहरण प्राप्त हो सके  (ईक ए, ईक बी) = & gt; (ए, बी)  प्रकार। यह कोड जो कि व्युत्पन्न हुआ उसके बराबर है।)  
 इसलिए, इस मामले में, हम  ==  का इलाज करें जैसे कि उसका प्रकार है  
  (==) :: (Eq a, Eq b) = & gt; (ए, बी) - & gt; (ए, बी) - & gt;  x  और  y  दोनों प्रकार के होते हैं जो कि  Eq  के उदाहरण हैं, लेकिन वे डॉन ' टी  समान  उदाहरण  Eq  होने की आवश्यकता है। उदाहरण के लिए, अगर हमारे पास  12  और  "abc"  है? ये दो अलग-अलग प्रकार हैं लेकिन हम अभी भी हमारे कार्य का उपयोग कर सकते हैं, क्योंकि वे  Eq :  (\ xyz - & gt; (x, y) == z) के दोनों उदाहरण हैं (12, " एबीसी ") (30," सीडी ")  (यह अभिव्यक्ति टाइप की जांच करता है और  False  के लिए मूल्यांकन करता है।)

Comments

Post a Comment

Popular posts from this blog

c# - ASP.NET MVC - Attaching an entity of type 'MODELNAME' failed because another entity of the same type already has the same primary key value -

In brief, the wrapper module is inserted during posting and the status of an entry is changed to 'modified' . Before changing the state, the state is set to 'separate', but calling attachments () causes the same error to be thrown away. I am using EF 6. Model / wrapper class public class avi model {public A is a {get; Set; } Public listing & lt; B & gt; B {received; Set; } Public cc {receipt; Set; }} Administrator edit public functioning (int? id) {if (id == null) {new HttpStatusCodeResult (HttpStatusCode.BadRequest); } If (! Conveyor Access (id.Value)) new HTTPTitus code result (HTTP status code. Forbidden); Var aViewModel = new AViewModel (); aViewModel.A = db.As.Find (id); If (aViewModel.Receipt == zero) {return HttpNotFound (); } aViewModel.b = db.Bs.Where (x => x.aid == id.Value) .Oolist (); AViewModel.Vendor = db.Cs.Where (x => x.cid == aViewModel.a.cID) .FirstOrDefault (); See Return (aViewModel); } [HTPFost] [Valid AntitiferousTeacon...
Read more

jasper reports - How to center align barcode using jasperreports and barcode4j -

I use iReport 5.5.0 . How to align a barcode component to the center The relevant piece of my jrxml is below & Lt; JR: Code 128 xmlns: JR = "http://jasperreports.sourceforge.net/jasperreports/components" xsi: schemaLocation = "http://jasperreports.sourceforge.net/jasperreports/components http: //jasperreports.sourceforge Purge / xsd / components.xsd "textPosition =" bottom "& gt; & Lt; Jr: codeExpression & gt; & Lt; [CDATA [$ F {number}]] & gt; & Lt; / Jr: codeExpression & gt; & Lt; / Jr: Code 128 & gt; & Lt; / componentElement & gt; "Text" itemprop = "text"> Create a style after this, it is called "barcode", like: & lt; Style name = "barcode" fontName = "Helvetica" fONTSIZE = "10" hAlign = "center" valign = "center" /> and set the property of your barcode element to "barcode".
Read more

django - CommandError: You must set settings.ALLOWED_HOSTS if DEBUG is False -

I use Django 1.6.5 with settings in my program txsite: DEBUG = true I set the lie to debug, but when I get the runner , I get the following error: CommandError: You have to set the settings. OLOWOWHESTS If DEBUG is False I ALLOWED_HOSTS = ['127.0.0.1', 'localhost'] but I get the same error. Does anyone know this address? Try ALLOWED_HOSTS = ['*'] Less secure If you are not on a firewall or public LAN, but what I use and it works. Edit: Interestingly enough, I have to add some of my 1.8 projects, even if DEBUG = True . Why so very uncertain
Read more