News for hackers. Stuff that matters.

A comment on When to use generics. Parent comment

Re:When to use generics by gpderetta on Wednesday April 13, 2022 @06:25AM (#31013005)
As far as I understand it is still compile time checked, hence it is a form of static polymorphism. The fact it is still runtime dispatched it is just an implementation choice.
[ Parent | on HN ]
Re:When to use generics by excuses_ on Wednesday April 13, 2022 @08:07AM (#31013680)
I think you’re right. It’s just not exactly what many people coming from other languages expect from generics.

It’s seems like a static polymorphism but not monomorphism, which also is implemented in Go generics but for simple types.

[ Parent | on HN ]
Re:When to use generics by gpderetta on Wednesday April 13, 2022 @10:09AM (#31014830)
Actually historically most generic implementations do not monomorphize either except as an optimisation: Java, C# (at least for complex types), most functional languages use some sort of type erasure. C++ and, I think, ADA were the exceptions, although it has proven more popular with newer languages.
[ Parent | on HN ]