Shiro Kawai scripsit:

> Oops, I'm probably lost... Does the current discussion suggests that
> fresh location tag must be allocated for every time lambda expression
> is evaluated, even the lambda expression doesn't close any mutable
> state?

That is what R5RS requires, yes, as well as Will's proposal.

> As Per Bothner posted in <51AE7631.4050903@bothner.com>, lifting
> constant lambdas to upper level is the important optimization and I
> heavily rely on it.

You can only do that if you have done the work to make sure that the
closure doesn't escape.

--
Not to perambulate                 John Cowan <cowan@ccil.org>
    the corridors                  http://www.ccil.org/~cowan
during the hours of repose
    in the boots of ascension.       --Sign in Austrian ski-resort hotel

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports