Re: expansion, memoization, and evaluation...

[Mikael Djurfeldt]

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,
Mikael