Snippets tagged denotational semantics

  • 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

    Posted: 4 years ago by Eirik Tsarpalis