[pypy-dev] Annotating space status

[Samuele Pedroni]

At 08:50 06.07.2003 -0400, Guido van Rossum wrote:
>Armin ends a long, eloquent and well thought-out message with:
>
> > Drawback: We can only process RPython program. Well, that was the original
> > goal anyway. I think it is cleaner but it also means that it will take more
> > time before we can actually process the whole of PyPy. The other 
> (current)
> > solution is more like we have a very general but hacky W_Anything() 
> fall-back,
> > that could quickly be complete enough to process arbitrary programs 
> (provided
> > however that we don't keep running into these mutable object problems, 
> which
> > is not clear to me).
> >
> > Both goals are interesting per se, but my opinion is that we should
> > concentrate on the first one right now.
>
>I would find processing arbitrary programs cooler, and if I had time
>to contribute coding time (which I don't) I would want to pursue that.

dealing with arbitrary programs means dealing up-front with dynamic dispatch,
then this become relevant:

Effective Interprocedural Optimization of Object-Oriented Languages (Ph.D. 
Thesis, 1998)
David Grove

http://www.cs.washington.edu/research/projects/cecil/www/pubs/grove-thesis.html