<div dir="ltr"><div><div><div><div><div><div><div><div><div><div><div><div><div>Ok 
thanks! By the way, I didn't know the formatting (especially, code/noncode distinction) was erased in the process of archiving my mail, sorry 
for the unfortunate, probable, unreadability of my first message.<br><br></div>Actually,
 I have another question that somewhat is in continuity, as regards one 
definition I found for after2 (with another name of course, though here it's 
irrelevant):<br>> after2 :: (c -> d) -> (a -> b -> c) -> a -> b -> d<br></div>> after2 f = ((f .) .)<br><br></div>I checked by recursion, mostly to actually understand why/how it works, and it's pretty cool, if I may.<br></div>> f :: c -> d<br></div>> (f .) :: (b -> c) -> (b -> d)<br></div>> ((f .) .) :: (a -> (b -> c)) -> (a -> (b -> d)) == (a -> b -> c) -> (a -> b -> d)<br><br></div><div>Or seen from another angle:<br></div><div>> f (g a b) :: d<br></div><div>> (f .) (g a) :: b -> d<br></div><div>> ((f .) .) g ::  (a -> b -> d)<br><br></div>From there, I had the idea and desire to check if we could build a generalization of this operation, in this fashion:<br></div>>
 testOp :: Int -> (c -> d) -> ? --Here i'm stuck since it looks
 like it should basically be a sort of recursive type of function, or 
something??<br></div>> testOp 0 f = f<br></div>> testOp n f = ((testOp (n-1) f) .)<br><br></div>hence with this definition, (testOp 2) == after2 and (testOp 1) == (.)<br></div>Is this "testOp" writable? If so, what would it need?<br></div>Thanks in advance! :)<br><div class="gmail_extra"><br><div class="gmail_quote">2016-04-09 0:09 GMT+02:00 Sumit Sahrawat, Maths & Computing, IIT (BHU) <span dir="ltr"><<a href="mailto:sumit.sahrawat.apm13@iitbhu.ac.in" target="_blank">sumit.sahrawat.apm13@iitbhu.ac.in</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><p dir="ltr">No need to do anything. On the list you can only send and receive emails.</p>
</blockquote></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-04-09 0:04 GMT+02:00 Silent Leaf <span dir="ltr"><<a href="mailto:silent.leaf0@gmail.com" target="_blank">silent.leaf0@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hoogle was my first stop, didn't find anything, but Hayoo is much more complete, found all of it!<br><br>"My" after2 has no less than 4 different synonymous: (oo), (.:), (comp2), (dot). and i checked my curry theory as correct.<br>I found "point2" too right beside (.:), dubbed (.^).<br>Those two inside a "pointlessfun" package (?) ^^<br><br>Hence, thanks, I found what I needed. :)<br>Do I need to close or mark the discussion as "solved" or something, somehow?<div class="HOEnZb"><div class="h5"><br><br>Le vendredi 8 avril 2016, Sumit Sahrawat, Maths & Computing, IIT (BHU) <<a href="mailto:sumit.sahrawat.apm13@iitbhu.ac.in" target="_blank">sumit.sahrawat.apm13@iitbhu.ac.in</a>> a écrit :<br>> Hi, you might wanna take a look at Hoogle and Hayoo. They allow you to search for functions using names or type signatures.<br>><br>> Hope this helps.
</div></div></blockquote></div><br></div>