[External] Foo / Foo.ref is a backward default; should be Foo.val / Foo

[Brian Goetz]

I think this is one of the areas where opinions are going to differ, because there is not necessarily a unitary notion of “the user”.  In a small program were one person wrote all the code, I agree that minimizing intrusion will make that person happy.  But Java’s strength is that it makes good *libraries* easy to write, and surely Valhalla will enable new numerical libraries. In which case there are TWO users, the one who wrote the library, and the one using it, and they are communicating through a thin pipe.  This is where intent can be lost, and being a “libraries guy”, I think this is where Kevin is coming from.

On Apr 25, 2022, at 1:53 PM, Dan Heidinga <heidinga at redhat.com<mailto:heidinga at redhat.com>> wrote:

If a user has picked B2

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/valhalla-spec-experts/attachments/20220425/01c109f1/attachment-0001.htm>