[Top][All Lists]

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

Re: expansion, memoization, and evaluation...

From: Mikael Djurfeldt
Subject: Re: expansion, memoization, and evaluation...
Date: Wed, 04 Dec 2002 04:31:36 +0100
User-agent: Gnus/5.090008 (Oort Gnus v0.08) Emacs/21.2 (i386-pc-linux-gnu)

The important goops optimizations are made based on type information.

In the on-line (interpreter) case the types are retrieved from the
arguments and the rewrite rules depend on knowing the bindings of
variables in the source.  Yes, this is equivalent to what the current
goops source does, although the only optimization which is done
currently is supplying a "next-method" efficiently.

In the off-line case the types would need to be supplied by
flow-analysis in the compiler.  This means that just as the optimizer
needs to be folded into evaluation in the on-line case, the optimizer
needs to be folded into compilation in the off-line case.  That is,
the compiler needs to supply the optimizer with something equivalent
to what compile-method now gets from procedure-environment.

Does this answer your questions?

Best regards,

reply via email to

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