Encoding mutually-recursive functions with a Polyvariadic fixpoint combinator.
5 people like thisPosted: 11 years ago by Nick Palladinos
A colleague recently mentioned the problem of not having MonadFix in a strict language. Here is my 2 hour potential approach to implementing it in ML. Let me know if I got something totally wrong!
2 people like thisPosted: 8 years ago by Vesa Karvonen
Fast and GC friendly fixpoint combinator.
9 people like thisPosted: 10 years ago by Nick Palladinos