haskell - Am I using sound equational reasoning about a definition of filter in terms of foldr? -


अच्छा, यह foldr का उपयोग करते हुए फिल्टर फ़ंक्शन की परिभाषा है: 

  myFilter p xs = गुना कदम [] एक्स जहां चरण x ys | P x = x: ys | अन्यथा = ys

तो उदाहरण के लिए मान लें कि मुझे यह फ़ंक्शन है: 

  myFilter odd [1,2,3,4]  < / पूर्व> 
 तो यह हो जाएगा: 
 
  गुना कदम [] [1,2,3,4]  
 
 और यह होगा < / P> 
  चरण 1 (गुना कदम [] [2,3,4])  
 
 और यह होगा 
 
  चरण 1 (चरण 2 (कदम चरण [] [3,4]))  
 
 और यह होगा 
 
  चरण 1 (चरण 2 (चरण 3 ( [चरण 4 (चरण 3 (चरण 4) (फ़ोल्ड चरण [] [4])))  
 
 और यह होगा 
 
  चरण 1 (चरण 2 (चरण 3 [ ] []))))  
 
 और  फ़ोल्ड चरण [] []  है  []  ऐसा: 
 
  चरण 1 (चरण 2 (चरण 3 (चरण 4 [])))  
 
 अब हम वास्तव में  step  फ़ंक्शन में आएं। 
 यहां पर  चरण  की परिभाषा है  myFilter  फ़ंक्शन, ऊपर से: 
 
  चरण x ys | P x = x: ys | अन्यथा = ys  
 
 भी, मैं आपको याद दिलाता हूं कि  p  वास्तव में हमारे उदाहरण में  अजीब  फ़ंक्शन है। 
 
 ठीक है, फिर से, हम यहां हैं: 
 
  चरण 1 (चरण 2 (चरण 3 (चरण 4 [])))  
 
 और 
 
  x = 4  सबसे भीतरी  चरण  में, और  4  अजीब नहीं है, इसलिए हम वापस  ys , जो कि  []  
 
 है, अब हम इसे प्राप्त करते हैं: 
 
  चरण 1 (चरण 2 (चरण 3 [])) < / कोड>  
 अब, सबसे भीतरी  चरण ,  x = 3  में, और  3  अजीब है, इसलिए हम  x: ys , जो  3: []  है, जो  [3]  है, और अब हम प्राप्त करते हैं: 
 
  चरण 1 (चरण 2 [3])  
 
 और अब, आंतरिक  चरण ,  x = 2  में, और  2  अजीब नहीं है, इसलिए हम  ys  वापस करते हैं, जो कि  [3]  है, इसलिए अब हम प्राप्त करेंगे: 
 < प्री>  चरण 1 [3]  
 
 और अब,  x = 1 , और  1  अजीब है, इसलिए हम  x: ys  वापस आते हैं, जो  1: [3]  है, जो  [1,3]  है। 
 
 समाप्ति: -)। 
 
 क्या मैं अपनी सारी चाल में हूं? 
 बहुत बहुत धन्यवाद: -)। 
 
 ps  myFilter  की परिभाषा पुस्तक से है, अध्याय 4 में।

यह पहले पढ़ने में मुझे सही दिखता है।

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

  चरण 1 (चरण 2 (चरण 3 (चरण 4 [])))

हो जाता है 

  चरण 1 & lt; block1 & gt;

जो हो जाता है 

  [1,

तब अगर आप अगली खींचने का प्रयास करते हैं

जो 

  [1, चरण 2

हो जाता है 

   
 और    [1, चरण 3 & lt; ब्लॉक 3 & gt;]

जो हो जाता है

[1, 3, & lt; ब्लॉक 3 & gt;]

आदि। यह समझने में मुझे कुछ समय लगा। यह मुझे प्रतिवाद था कि जब से folds को "अंदर से" से मूल्यांकन किया जाता है, परन्तु foldl का मूल्यांकन "बाहर" से किया जाता है जो कि foldr आलसी होगा (जो यह है), जबकि foldl सख्त है लेकिन अगर आप इसके बारे में सोचते हैं कि मैंने ऊपर उल्लिखित तरीके से, यह समझ में आता है (मुझे, वैसे भी)।


Comments

Post a Comment

Popular posts from this blog

sql - dynamically varied number of conditions in the 'where' statement using LINQ -

I am using my first project LINQ (in mvc), so maybe there's something very simple that I remember. However, a day of searching and experimenting does not work, so it works. I am trying to write a LINQ query (Linux to SQL) in which in many cases where the statement is different from an OR or an AND. We do not know how many conditions are going in the query till runtime. This search is for filter control, where the user can choose multiple criteria for filtering. Select from table where table.col = 1 or table.col = 2 or table.col = 7 .... 'Other number of conditions Before I just create the SQL query as a string, while looping over all the situations. However, it seems that there should be a good way to do this in LINQ. I tried to use Expression trees, but they had a second thought for this moment on my head, where the lambda function was to be executed inside the statement such as: values ​​for matchingRows = matchingRows for each value Where (function (row) row.c...
Read more

asp.net mvc - Dynamically Generated Ajax.BeginForm -

I have a problem with ASP.NET MVC Ajax forms. I generate many Ajax form in a table such as: & Lt; Input type = "submit" name = "activity" value = "add activity" / & gt; & Lt;%}% & gt; & Lt; / TD & gt; & Lt; / TR & gt; & Lt;%}% & gt; So far so good. When I post one of those forms, it gives a partial view in a div, and in this new partial view a new Ajax Beginnform (which is not in Genesis form) This second Ajax Beginnorf is exactly like the ones I got on the table, but when I post it, I do not get the "Ajax Post", but a normal post that sends me to a new page, I do not know whether the two Ajax forms What is the reason for the difference between, why is it the "dynamically generated" Ajax form behaves like a normal HTML form? By the way, I know that I can do it in different ways using javascript, but I would like to understand whether it can only be done using MVC helplars and Ajax lib...
Read more

Debug on symbian -

I am using trk for phone debug This works well for the Holorld project But when I start the project in phone debug mode 1) the load failed 2) TrkProtocolPlugin: to target the specified file Failure (please verify If any body understands what problem I am experiencing, then this problem helps me Pre-release If the application has the privileges assigned (with the appropriate certificate) itemprop = "text" > In your case, I will check: / li> If there is no conflict of application ID with any other application of device If there are problematic commands in the installation package (for example copy copy for non-accessible directories)
Read more