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