> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mardi 8 Janvier 2019 18:44:11
> Objet: Re: Finding the spirit of L-World
> On 1/8/2019 11:20 AM, [ mailto:fo...@univ-mlv.fr | fo...@univ-mlv.fr ] wrote:
>>> Right. And I'm saying, we can't sell that. Values should
On 1/8/2019 11:20 AM, fo...@univ-mlv.fr wrote:
Right. And I'm saying, we can't sell that. Values should work like an
int; you can compare ints with ==. I think the "Currently" story
doesn't wash.
You can not use the "work like an int" argument here, a value type can contain
references,
- Mail original -
> De: "Brian Goetz"
> À: "Remi Forax"
> Cc: "valhalla-spec-experts"
> Envoyé: Mardi 8 Janvier 2019 14:03:18
> Objet: Re: Finding the spirit of L-World
>> Introducing a ValObject as super or having the ACC_VALUE bit are two
>> representation of the same thing for the
But i agree that having all these Q-ref in the bytecode will not help the
introduction of generics.
I think that the way to implement the reification of generics is:
- do the specialization of the data shape by asking a boostrap method with the
restriction that the data shape has to be
- Mail original -
> De: "Brian Goetz"
> À: "valhalla-spec-experts"
> Envoyé: Lundi 7 Janvier 2019 18:21:26
> Objet: Finding the spirit of L-World
> I’ve been processing the discussions at the Burlington meeting. While I think
> we made a lot of progress, I think we fell into a few