generic specialization design discussion
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"
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.
More information about the valhalla-spec-observers