An example of substituability test that is recursive
john.r.rose at oracle.com
Thu Jan 31 19:45:13 UTC 2019
On Jan 31, 2019, at 10:52 AM, Brian Goetz <brian.goetz at oracle.com> wrote:
> Let’s not do this to Java, shall we?
> https://twitter.com/seldo/status/1090931182227861508 <https://twitter.com/seldo/status/1090931182227861508>
>> solution 2: you claim it's too complex and you just let the user deal with it by calling equals() (and provide a way for a user to call the default subs).
That one motivated this:
More information about the valhalla-spec-observers