[pypy-dev] pypy for typed languages?

Maciej Fijalkowski fijall at gmail.com
Fri Mar 13 16:19:28 CET 2009


On Fri, Mar 13, 2009 at 3:04 PM, Geoffrey Irving <irving at naml.us> wrote:
> 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.
>

I don't know, do you have any example?



More information about the Pypy-dev mailing list