Re: The case for transpiled generics
| From: | Matthew Brown | Date: | Thu, 17 Sep 2020 19:00:07 +0000 |
| Subject: | Re: The case for transpiled generics | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-111892@lists.php.net to get a copy of this message | ||
> On Sep 17, 2020, at 1:28 PM, Brent Roose <brendt@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)