[pypy-dev] Ideas and Opinions

[Christian Tismer]

Günter Jantzen wrote:

...

> 2) At a first glance, Pyrex seems to me a beauty example for a concrete 
> syntax which is not in the way of
> the programmer. (of course its more than that). Pyrex can be annotated 
> with C-style static informations.
> But it is not necessary to do this. You can program without annotations. 
> Then its just Python. If you
> use annotations, Pyrex generates the C-source for extension types

Ok, at this point, the role of restricted Python comes
into the play. It may be everything can be done without
restrictions, but we wanted a simple start-off.
Restricted Python is significally simplified at certain
places, which allows for a lot of early deductions.
There are assumptions about basic types being used
and their behavior, so we don't need type hints.

Then! This restricted Python is now supposed to run
only *one* single program: The new interpreter.
That means, we can analyse the whole program as a
constant thing, which is to be executed by restricted
Python. That should allow us do deduce every type
used whatsoever, and we should be able to produce
C code of similar quality like CPython's.

If we can't do that, then we did something wrong and
must re-iterate.

so long - chris

-- 
Christian Tismer             :^)   <mailto:tismer at tismer.com>
Mission Impossible 5oftware  :     Have a break! Take a ride on Python's
Johannes-Niemeyer-Weg 9a     :    *Starship* http://starship.python.net/
14109 Berlin                 :     PGP key -> http://wwwkeys.pgp.net/
work +49 30 89 09 53 34  home +49 30 802 86 56  pager +49 173 24 18 776
PGP 0x57F3BF04       9064 F4E1 D754 C2FF 1619  305B C09C 5A3B 57F3 BF04
      whom do you want to sponsor today?   http://www.stackless.com/