Дерево: d39fdfcfad

Dana Jansens 0730d5385f Clarify that the `Self` must be in the type structure of the type or facet type in `require` (#6269)		6 месяцев назад
..
README.md	88e87b86b9 Updates to generics design details, part 2 (#3253)	2 лет назад
appendix-coherence.md	5d73743971 Add link for coherence appendix to Swift forums (#4241)	1 год назад
appendix-rewrite-constraints.md	0166d8837c Update Documentation to use new expression terminology (#5890)	7 месяцев назад
appendix-witness.md	bd4d5805dd Replace `addr` with `ref` in design docs (#6141)	6 месяцев назад
details.md	0730d5385f Clarify that the `Self` must be in the type structure of the type or facet type in `require` (#6269)	6 месяцев назад
goals.md	21fb6f5802 Update broken links (#3786)	2 лет назад
overview.md	bd4d5805dd Replace `addr` with `ref` in design docs (#6141)	6 месяцев назад
terminology.md	bd4d5805dd Replace `addr` with `ref` in design docs (#6141)	6 месяцев назад

Generics

This directory contains the collection of documents describing the generics feature of Carbon:

Overview - A high-level description of the generics design, with pointers to other design documents that dive deeper into individual topics
Goals - The motivation and principles guiding the design direction
Terminology - A glossary establishing common terminology for describing the design
Detailed design - In-depth description
- Appendix: Coherence - Describes the rationale for Carbon's choice to have coherent generics, and the alternatives.
- Appendix: Rewrite constraints - Describes the detailed rules governing rewrite constraints, and why resolving them terminates.
- Appendix: Witness tables - Describes an implementation strategy for checked generics, and Carbon's rationale for only using it for dynamic dispatch.