Towards Minimal L World

Brian Goetz brian.goetz at
Fri May 18 20:50:02 UTC 2018

Well, leaking `this` from a ctor in a regular class isn't so great 
either, but yes, the only sensible use of `this` in a value ctor is to 
qualify a DU field.

On 5/18/2018 4:07 PM, Remi Forax wrote:
> It's more code like a class and don't leak 'this' as Ali and Maurizio said.
> Rémi
> ----- Mail original -----
>> De: "Brian Goetz" <brian.goetz at>
>> À: "John Rose" <john.r.rose at>, "Maurizio Cimadamore" <maurizio.cimadamore at>
>> Cc: "valhalla-spec-experts" <valhalla-spec-experts at>
>> Envoyé: Vendredi 18 Mai 2018 22:05:15
>> Objet: Re: Towards Minimal L World
>>> Thesis:  Value constructors are the same notation as VBC constructors.
>> +1.  I don't think its a good use of our "user model complexity budget"
>> to have a different way to write these guys.  It also facilitates
>> migration.  And "Codes like a class" has a pretty sensible answer for
>> "how do I write a constructor."

More information about the valhalla-spec-observers mailing list