Support tail recursion

[GoogleCodeExporter]

let tailTest =
  <@   let rec sum a b = if a > 0 then sum(a - 1) (b + 1) else b
       sum (1024*1024*128) 0 @>
tailTest.Eval()

should work without StackOverflowException

Original issue reported on code.google.com by lostfree...@gmail.com on 28 May 2012 at 2:08

[enricosada]

I think the F# team would have to build support for tail recursion into their F# reflection API for this
to work. Indeed, this might be consider a bug in FSharpValue.MakeFunction,
which is what we use to make F# functions from Lambda expressions

@dsyme @eiriktsarpalis do you know is that's still an issue in quotation?

[dsyme]

@stephen-swensen

A couple of things - first, Unquote is amazing and I should have been helping with issues like this.

Second, substantively:

I think the F# team would have to build support for tail recursion into their F# reflection API for this
to work. Indeed, this might be consider a bug in FSharpValue.MakeFunction,
which is what we use to make F# functions from Lambda expressions

Yes, I can see what you mean. Could you add this issue to http://github.com/fsharp/fslang-suggestions and we can iterate towards a concrete design suggestion here?

thanks!
don

p.s. please feel free to contact me directly if you want to discuss any technical issues

[stephen-swensen]

@dsyme three years later, thanks for kind words and sentiments :) I'll yet follow up with a support issue when I'm able to focus on this issue again.

Stephen