josh11b 58c106010c Updates to design docs to reflect accepted proposals (#3254) 2 سال پیش
..
README.md 58c106010c Updates to design docs to reflect accepted proposals (#3254) 2 سال پیش
appendix-coherence.md a8ca499450 Updates to generics design details, part 1 (#3231) 2 سال پیش
appendix-witness.md 58c106010c Updates to design docs to reflect accepted proposals (#3254) 2 سال پیش
details.md a8ca499450 Updates to generics design details, part 1 (#3231) 2 سال پیش
goals.md 58c106010c Updates to design docs to reflect accepted proposals (#3254) 2 سال پیش
overview.md e15bdbb36c Update generics overview (#3061) 2 سال پیش
terminology.md 58c106010c Updates to design docs to reflect accepted proposals (#3254) 2 سال پیش

README.md

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: Witness tables - Describes an implementation strategy for checked generics, and Carbon's rationale for only using it for dynamic dispatch.
    • Appendix: Coherence - Describes the rationale for Carbon's choice to have coherent generics, and the alternatives.