Re:What is “Open Recursion”?
by munificent on Tuesday July 18, 2017 @08:10PM
(#14801122)
I could be wrong, but I think your mutualRecursion() function is a multi-parameter version of the Y combinator, which is the classic way of introducing recursion to a language that doesn't natively support it. If so then, yes, that works.
[ Parent
| on HN ]
> but I think your mutualRecursion() function is a multi-parameter version of the Y combinator
Yes, exactly. I've created a fork [1] where I replace the multiple-parameter Y combinator with a single-parameter kind that operates on what is effectively a vtable.