> On Sep 17, 2020, at 1:28 PM, Brent Roose <bre...@stitcher.io> wrote: > > But I don't want to get stuck on phrasing, if elidiing is the right term as > Larry suggests, let's go with it!
No, the correct term is “type erasure”: https://en.m.wikipedia.org/wiki/Type_erasure Its opposite is called reification: https://en.m.wikipedia.org/wiki/Reification_(computer_science)