Hacker News new | ask | show | jobs
by frou_dh 4548 days ago
That's effectively subtype polymorphism, while generics are parametric polymorphism. Many languages (including Java) make use of both.