The tag has no wiki summary.

learn more… | top users | synonyms

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 ...