Re:Show HN: Fo: An experimental language which adds generics...
by weberc2 on Tuesday June 12, 2018 @11:54PM
(#17300113)
Pretty sure devirtualization is a whole program optimization in the general case, and I don’t see the Go dev team Pershing that in the next couple of years.
Re:Show HN: Fo: An experimental language which adds generics...
by burntsushi on Wednesday June 13, 2018 @07:05AM
(#17301979)
> I don’t see the Go dev team Pershing that in the next couple of years
Agreed. But if I didn't mention it, I'm sure someone would have felt obligated to respond with a "well actually..."
Likely yes. If generics are implemented via monomorphization, then you can avoid the overhead of virtual calls necessitated by interfaces.
It is possible that the compiler could become smart enough to devirtualize calls through interfaces.