The recursion tag has no wiki summary.
19
votes
1answer
747 views
+100
Y combinator and tail call optimizations
The definition of a Y combinator in F# is
let rec y f x = f (y f) x
f expects to have as a first argument some continuation for the recursive subproblems.
Using the y f as a continuation, we see ...