Haskell filter function laziness -


दिए गए: 

  ले 5 (फ़िल्टर पी एक्सएस)   
 कहते हैं कि अगर  फ़िल्टर पी xs  1K मैच लौटाएगा, क्या हास्केल केवल 5 मैचों को फ़िल्टर कर देगा और बड़े इंटरमीडिएट परिणाम के बिना उत्पादन करेगा?   
 
 
 यह 5 कोड का उपयोग करने के लिए केवल  xs  को स्कैन करेगा, केवल इस उपसर्ग पर  p  का मूल्यांकन करेगा  xs ।  
 अधिक सटीक होने के लिए, यह वास्तव में कम गणना करता है, परिणाम के आधार पर इसका उपयोग कैसे किया जाता है। उदाहरण के लिए,  
  मुख्य = दो पी एक्स = (एक्स == 3) || (X> = 1000000) list1 = [0..1000000000] list2 = take5 (फ़िल्टर पी सूची 1) प्रिंट (सिर list2)   
 केवल  list1  स्कैन करेगा जब तक  3  पाया जाता है, और तब तक नहीं, जबकि  ले लो  पांच तत्वों के लिए पूछ रहा है इसका कारण यह है कि  head  इन पांचों में से केवल पहले की मांग कर रहा है, इसलिए आलस्य केवल इसका मूल्यांकन करने का कारण बनता है।

Comments

Post a Comment

Popular posts from this blog

c# - passing input text from view to contoller with FacebookContext using Facebook app -

I'm trying to pass an input text from the viewer to the controller in the Facebook Birthday app: Link to app: In the Home Controller [FacebookAuthorize ("email", "user_photos")] Public async Tasks & lt; ActionResult & gt; Index (FacebookContext reference) {if (ModelState.IsValid) {var user = waiting for reference. Client.Gate CurrentUserAsync & lt; MyAppUser & gt; (); View return (user); } See Return ("Error"); } [Http post] [facebook authorized ("email", "user_photo")) public async task & lieutenant; Actionsclass & gt; Index (string textile, facebookcontonte context) {if (ModelState.IsValid) {var user = wait context.Client.GetCurrentUserAsync & lt; MyAppUser & gt; (); // See my code, see the use of txt here (user); } See Return ("Error"); } View: @using facebookpostc.models @ Microsoft.AspNet.Mvc.Facebook.models using @ Microsoft.AspNet.Mvc. Facebook @model MyAppUser @ {ViewB...
Read more

ios - Does Core Data autoupdate a many to many relationship on saving -

I have used 2 database tables and core data / NSManagedObjects in SQLite: User is user_id name group (multiple groups) Group group_id title group members (multiple users) By using core data to save a group and adding users ( Add to group) as follows: group * cordata = zero; Cordata = [NSEntityDescription insertNewObjectForEntityForName: @ Managed Object Contains in "Groups": Reference]; Request = [NSFetchRequest fetchRequestWithEntityName: @ "user"]; Request.predicate = [NSPredicate predicateWithFormat: @ "user_id =% @", user_id]; Result = [reference executeFetchRequest: request error: & amp; Error]; CoreData.group_id = group_id Cordettitle = Title [Cordata AdGroupMailersObject: [Last objections result]]; Is it right to say that core data manages a user with multiple users and groups with the code above? Yes, if the relationships are in the form of each other's inverse relationship The inverse relationships are updated automaticall...
Read more

Calling a C++ function from C# by passing a string with variable size to it -

I am calling a string with a C + code and calling from the C # code. The C ++ function is responsible for filling the string material. The following code is: C #party: var abc = new string builder (4096); // will have to change this var result = Basic methods. SignCrcFile (ABC); C ++: bool __cdecl SignCrcFile (char * abc) {... char * tempStr = "hello all"; // for example // copy it to ABC string strcpy (ABC, tempStr); Back true; } The problem is that tempStr's size in the C ++ function is dynamic (the above assignment for TempStr is only an example). In such a case, it is not a hard code that the size of ABC string is in the size of 4096 bytes on the C #. The first solution can be a solution to create 2 functions on the C ++ side to get the size of the string. Then allocate that size using StringBuilder in the C # side then use the next function to bring the entire string from C ++ to the C #. But no suggestion this may not be the most optimal way? ...
Read more