Encoding mutually-recursive functions with a Polyvariadic fixpoint combinator.
5 people like thisPosted: 12 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!
3 people like thisPosted: 9 years ago by Vesa Karvonen
Fast and GC friendly fixpoint combinator.
9 people like thisPosted: 11 years ago by Nick Palladinos