Towards Minimal L World

Dan Smith daniel.smith at
Sat May 19 13:31:01 UTC 2018

> On May 18, 2018, at 2:05 PM, Brian Goetz <brian.goetz at> wrote:
>> 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."

A simpler approach, in the spirit of "let's not waste effort on problems we don't know how we're going to solve": you get one implicit constructor, and it's private. You can't declare custom constructors. Write factory methods for your clients.

More information about the valhalla-spec-observers mailing list