[pypy-dev] pypy for typed languages?

Geoffrey Irving irving at naml.us
Fri Mar 13 15:04:41 CET 2009


On Fri, Mar 13, 2009 at 7:13 AM, Armin Rigo <arigo at tunes.org> wrote:
>> In particular, what restrictions does pypy impose on storage layout?
>> For example, would it be able to handle dynamically-typed homogeneous
>> lists, represented as a single pointer to a type object and an array
>> of structs required to be of that type?
>
> RPython doesn't have support for this.  If you go directly to the lltype
> type system, then it's possible -- but our current JIT generator doesn't
> support it.  And also, if you write an interpreter using the lltype type
> system directly, you loose the abstraction level of writing an
> interpreter in RPython in the first place -- e.g. it would not be
> translatable any more to the ootype type system, thus to Java or CLI.
>
> So all in all, PyPy could probably be subverted to do what you want, but
> it's not really meant to (and we are a bit unlikely to give much
> support, as far as I can see).

Thanks for the reply.  It seems like targeting LLVM directly is the
way to go for such projects for now.

Geoffrey



More information about the Pypy-dev mailing list