Go Generics proposal
After more than twenty five years of C++ programming, I'm still under its influence. It may be visible in this proposal. Also, english is not my native language. When in disagreement, make sure it isn't due to inaccurate expression on my part.
First, the concepts I will use in this document to avoid misunderstandings.
definition of generic type or function : type or function with generic parameters. generic parameters : the parameters of a generic definition. type of a generic parameter : the draft proposal calls them contracts. specialized generic definition : a generic definition with its generic arguments (types).