mit-scheme-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MIT-Scheme-devel] For your amusement


From: Joe Marshall
Subject: Re: [MIT-Scheme-devel] For your amusement
Date: Fri, 17 Jun 2011 10:34:21 -0700

I remember the main reason I didn't want to make this the default.
I had wanted to use the Y operator to find the fixed-point and I
expected Liar to `tame' it.  Unfortunately, Liar isn't compiling the
Y operator correctly, so I tried self-application instead.

On Wed, Jun 15, 2011 at 5:01 PM, Taylor R Campbell <address@hidden> wrote:
>   Date: Wed, 15 Jun 2011 16:39:27 -0700
>   From: Joe Marshall <address@hidden>
>
>   That's one reason.  The other is that it seems to slow things down by
>   a small, but noticeable amount.  I don't yet understand why because
>   the emitted code looks exactly the same (modulo naming).  Of course
>   there's no reason to slow things down for *exactly* the same code.
>
> Extra time spent in flow analysis and closure analysis?  (Perhaps
> another reason to avoid using it by default is the scary comment in
> compiler/fgopt/closan.scm...)  Or are you noticing time spent running
> particular code that uses named LET, not building the whole system
> overall?

Not sure.  I'm going to try measuring this more seriously to find out
what the problem is.

-- 
~jrm



reply via email to

[Prev in Thread] Current Thread [Next in Thread]