Hacker News new | ask | show | jobs
by pfultz2 1891 days ago
That seems more like type erasure as defined in Java where the container is the same for all data types and the compiler implicitly inserts casts from the base type to the parameter type.