generic specialization design discussion

Doug Lea dl at cs.oswego.edu
Wed Apr 10 12:11:42 UTC 2019


On 4/9/19 6:03 PM, John Rose wrote:

> 
> Another one:  "immediate" instead of "inline".

Plausible. Following your thoughts in another post, the main property
that ought to clear to users is:

  Instances of X classes do not have independent identity.

If the audience were GOF Design Patterns readers, X would be "flyweight"
(https://en.wikipedia.org/wiki/Flyweight_pattern).

If the audience were those familiar with run-time mechanics, X might be
"interior" (such an instance is always at an offset of something else.)

But maybe Brian is right and "inline" is good enough.

-Doug


More information about the valhalla-spec-observers mailing list