Generics overview

Pull request

Table of contents

• Problem
• Background
• Proposal
• Rationale based on Carbon’s goals
• Alternatives considered

Problem

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.

Background

This is a follow on to these previous generics proposals:

• Generics goals #24
• Generics terminology #447

The content for this proposal was extracted from a larger Generics combined draft proposal.

Proposal

This is a proposal to add this overview document.

Rationale based on Carbon’s goals

Much of this rationale was captured in the Generics goals proposal.

Alternatives considered

Alternatives considered will be in a future proposal. Some of them can be seen in a rough form in #36.