Finding the spirit of L-World
john.r.rose at oracle.com
Sat Feb 23 01:17:59 UTC 2019
On Feb 22, 2019, at 2:04 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
> I want to have the language spec assign it a clear, precise, sound, principled meaning
> most of these LIFE instances should, eventually, be replaced by plain old `x.equals(y)`.
FWIW, in some cases where y is a constant, the comparison can also
be done with a pattern match (`x instanceof y`). This is a generalization
of the tried and true `x == null`. The main benefit of using pattern
match, versus a simple method call, is that it tolerates nulls.
Today's version is `Objects.equals(x, y)`, or the version of LIFE which
handles nulls: `x == y || x != null && x.equals(y)`.
More information about the valhalla-spec-experts