Towards Minimal L World
daniel.smith at oracle.com
Sat May 19 13:31:01 UTC 2018
> On May 18, 2018, at 2:05 PM, Brian Goetz <brian.goetz at oracle.com> 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-experts