Hacker News Reader

Comment by whateveracct | Hacker News Reader

It's just a shame that you could EASILY bolt on basic parametric polymorphism to Go with 0 cost and huge benefit. And it'll never happen.

The power of a universally quantified interface cannot be underestimated!

Never? This is one of the basic proposals in the Go 2 roadmap.

Rob Pike is against the current proposal and clearly states it comes from the community.

the cost of power is chronically underestimated

Exactly - parametric polymorphism doesn't give you power. It in fact only ever makes your types more constrained!

In a theoretical Go:

    func id<A>(a A) A

This only has one terminating, non-panicking valid implementation.