On Thu, Sep 2, 2010 at 9:56 AM, Paolo Giarrusso <[email protected]> wrote: > Hi, > I was curious about the interplay between type inference and separate > compilation. > > On Thu, Sep 2, 2010 at 09:09, William Leslie > <[email protected]> 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). Cheers, fijal > -- > Paolo Giarrusso - Ph.D. Student > http://www.informatik.uni-marburg.de/~pgiarrusso/ > _______________________________________________ > [email protected] > http://codespeak.net/mailman/listinfo/pypy-dev > _______________________________________________ [email protected] http://codespeak.net/mailman/listinfo/pypy-dev
