[pypy-dev] Question on the future of RPython
fijall at gmail.com
Thu Sep 2 11:35:05 CEST 2010
On Thu, Sep 2, 2010 at 9:56 AM, Paolo Giarrusso <p.giarrusso at gmail.com> wrote:
> I was curious about the interplay between type inference and separate
> On Thu, Sep 2, 2010 at 09:09, William Leslie
> <william.leslie.ttg at gmail.com> wrote:
>> At the moment, the lack of separate compilation is a real issue
>> standing in the way of using rpython as a general purpose language, or
>> even as an extension language. Having to re-translate *everything*
>> every time you want to install an extension module is not on. Even C
>> doesn't require that.
>> The other is that type inference is global and changes you make to one
>> function can have far-reaching consequences.
> Is it module-global or is it performed on the whole program?
> I guess you'd need modular type inference before allowing separate
> compilation, and of course lots of implementation work.
> Functional languages allow separate compilation - is there any
> RPython-specific problem for that? I've omitted my guesses here.
There is no notion of a "module" in RPython. RPython is compiled from
live python objects (hence python is a metaprogramming language for
RPython). There is a bunch of technical problems, but it's generally
possible to implement separate compilation (it's work though).
> Paolo Giarrusso - Ph.D. Student
> pypy-dev at codespeak.net
More information about the Pypy-dev