Not yet again !
Brian Goetz
brian.goetz at oracle.com
Sat Oct 21 23:33:01 UTC 2023
> You may find easier to answer to a direct question:
Since you're the one complaining, the burden is really on you to explain
why it is _not_ a good idea. But I have an answer anyway:
> Why do you want the tearability of a nullable value type, which is an implementation detail, to be part of the type system ?
>
Because it is not an implementation detail. It is a semantic property
of the class that describes how instances may react under race.
Whether or not a marker interface is the best way to do this or not,
this is 100% fair game for representing in the type system.
Got any other arguments?
More information about the valhalla-spec-observers
mailing list