Idea how to implement VT/VO compatibility in JVM
Stéphane Épardaud
stef at epardaud.fr
Thu Jan 22 13:53:22 UTC 2015
On 01/22/2015 02:49 PM, Maurizio Cimadamore wrote:
>
> On 22/01/15 13:47, Stéphane Épardaud wrote:
>> On 01/22/2015 02:42 PM, Maurizio Cimadamore wrote:
>>> That's mostly where I was trying to get at - bridges are a part of
>>> your approach - but it seems like some other part is missing in
>>> order to make the approach consistent.
>>
>> Well, sure, it requires _some_ support for `instanceof` and the
>> reflection API to handle this. But the reflection API will already
>> have to be tweaked for value types, so it's not like it's out of the
>> question.
> And checkcast.
>
> And arraystore (because of dynamic covariance checks).
OK, that's true. I already knew I wasn't aware of all the consequences
of this approach, but we're making progress finding them :) Any others
you can think of?
More information about the valhalla-dev
mailing list