f# - When executed will this be a tail call? -


once compiled , ran behave tail call?

let rec f accu = function    | [] -> accu    | h::t -> (h + accu) |> f <| t

maybe there easy way test behavior i'm not aware of, might question.

i think easier see if not use pipelining operator. in fact, 2 pipelining operators defined inline, compiler simplify code following (and think version more readable , simpler understand, write this):

let rec f accu = function    | [] -> accu    | h::t -> f (h + accu) t

now, can read definition of tail-call on wikipedia, says:

a tail call subroutine call happens inside procedure final action; may produce return value returned calling procedure.

so yes, call f on last line tail-call.

if wanted analyze original expression (h + accu) |> f <| t (without knowing pipelining operators inlined), becomes ((h + accu) |> f) <| t. means expression calls <| operator 2 arguments , returns result - call <| tail call.

the <| operator defined this:

let (<|) f = f

now, call f inside pipelining operator tail-call (and other pipelining operator).

in summary, if compiler did not inlining, have sequence of 3 tail-calls (compiled using .net .tail instruction make sure .net performs tail-call). however, since compiler performs inlining, see have recursive tail-call (f calling f) , can more efficiently compiled loop. (but calls across multiple functions or operators cannot use loops easily.)


Comments

Post a Comment

Popular posts from this blog

Change php variable from jquery value using ajax (same page) -

what i'm trying this: i've php global variable $currentid , simple jquery script check if there "id" (page) in hash of url , if yes wanted give value $currentid . i've been reading lot , notice shall use ajax i'm not managing it. my code is: <script type="text/javascript"> $(document).ready(function(){ if (parent.location.hash != '' ) { var thecurrentid = parent.location.hash.split('#')[1]; $.ajax({ url: 'my.php', //current page type: 'post', data: {theid: thecurrentid }, datatype: 'json', success: function () { } }); } // code here }); </script> could me please? thank in advance. php server side language, meaning once has sent data browser, php variables , data cannot changed... however, using ajax, can send request php page , change data in dom based on result. consider th...
Read more

How can I fetch data from a web server in an android application? -

i want retrieve data web server in android application, , don't know begin. should use web services? i recommend these tutorials: connect android php , mysql , json in android , php , mysqli i used these tutorials , managed trying working without difficulty. between them describe each step in how attempting @ each stage, android application, database , web server side , has information included can process , use received information the thing add connect android php , mysql tutorial makes use of mysql_ in php deprecated. better use mysqli why included third link. the basic outline of want this: 1) in android app make request server php script using class this: import java.io.bufferedreader; import java.io.ioexception; import java.io.inputstream; import java.io.inputstreamreader; import java.io.unsupportedencodingexception; import java.util.list; import org.apache.http.httpentity; import org.apache.http.httpresponse; import org.apache.http.namevaluepair...
Read more

jquery - How can I dynamically add a browser tab? -

since using iframes house external pages are, accounts "not preferred method" , disallowed sites (flickr, one), want dynamically generate browser tabs. e.g., when user submits form, want dynamically generate tab on browser in response submitted. e.g., might want add new tab url like: http://www.bigsurgarrapata.com/contact how in jquery? you want form target attribute action attribute. http://www.w3schools.com/tags/att_form_target.asp browsers have ultimate control on result of target attribute open new tab value of _blank. <form action="contact_submit.php" target="_blank" method="post">
Read more