Snippets tagged fixpoint combinator
-
A parametric fixpoint combinator
Writing functions that recursively generate lambdas from a given parameter is a useful practice, but things get trickier when you need the output functions themselves to be mutually recursive. This is my attempt at creating a fix-point combinator that transparently handles this requirement. It also gives memoization for free as a side-effect.
7 people like this
Like the snippet!Posted: 11 years ago by Eirik Tsarpalis