We want to Carbon to have a high quality generics feature that achieves the goals set out in #24. This is too big a feature to land in a single proposal. This proposal specifies the feature at the level of an overview description. This overview document is intended to act as a starting point for people interested in the generics feature by providing:
- a high-level description of the generics feature, and
- pointers to documents that go deeper into individual topics.
This is a follow on to these previous generics proposals:
The content for this proposal was extracted from a larger Generics combined draft proposal.
This is a proposal to add this overview document.
Much of this rationale was captured in the Generics goals proposal.
Alternatives considered will be in a future proposal. Some of them can be seen in a rough form in #36.