[Haskell-cafe] Compiler's bane

Jeremy Apthorp nornagon at gmail.com
Wed Aug 27 17:32:30 EDT 2008

2008/8/28 Lennart Augustsson <lennart at augustsson.net>:
> You can get rid of all recursive bindings by transforming them into a
> use of a fixpoint combinator.
> And then you can use a non-recursive definition of the fixpoint
> combinator, and never worry about recursive bindings again.

This[1] might be a good explanation of why that works. It helped me
understand it, at least.

[1] - http://mvanier.livejournal.com/2897.html


More information about the Haskell-Cafe mailing list