[Haskell-cafe] Compiler's bane

Andrew Coppin andrewcoppin at btinternet.com
Mon Sep 1 14:44:44 EDT 2008


Jeremy Apthorp wrote:
> 2008/9/1 Andrew Coppin <andrewcoppin at btinternet.com>:
>   
>> 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



More information about the Haskell-Cafe mailing list