Re: [Haskell-cafe] Compiler's bane

Jeremy Apthorp wrote:

2008/9/1 Andrew Coppin :

...

Trouble is, as soon as you allow let-bindings, some clever person is going to start writing recursive ones. And actually, that's a useful thing to be able to do, but it makes figuring out the technical details... rather nontrivial. (Seriously, I had no idea I was going to get into this much trouble!)

I'm confused -- why is this different to having recursive top-level bindings?

It isn't different - and if my interpretter ever has top-level bindings, it'll introduce all the same problems. :-S