I’m trying to understand the similarities between abstracting functions using the y-combinator and the continuation monad. Intuitively, it feels to me like they have things in common, but I haven’t understood either of them to be able to grasp at an answer. Please help.
I’m trying to understand the similarities between abstracting functions using the y-combinator and the
Share
They are completely different concepts. They only thing they have in common is that they are used to manage program control flow.