Empty value types

Brian Goetz brian.goetz at oracle.com
Fri Aug 1 16:50:59 UTC 2014


While an empty value is silly, is there something actually wrong with it?

Sent from my iPhone

> On Aug 1, 2014, at 9:47 AM, Paul Govereau <paul.govereau at oracle.com> wrote:
> 
> What are we going to do with empty value types?
> 
> The most sensible thing seems to allow them to be declared but not constructed. e.g.
> 
>  final __ByValue class Void {}   // <- ok
> 
>  Void v = __Make Void();   // <- error cannot construct empty type.
> 
> Paul


More information about the valhalla-dev mailing list