mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-24 20:40:11 +01:00

Files

T

Özgür T. ÖnsoyandChristopher Di Bella c63bbf3598 Update observe design doc to reflect proposal #7545 (#7617 )

This adds the new restrictions introduced for `observe` declarations
inside `interface` definitions to the docs.

---------

Co-authored-by: Christopher Di Bella <cjdb.ns@gmail.com>

2026-08-11 19:09:38 +00:00

appendix-coherence.md

Move adapters from generics to class design docs (#7561 )

2026-07-27 22:33:37 +00:00

appendix-rewrite-constraints.md

Address post-merge review comments on #7254 and terminology discussions (#7490 )

2026-07-13 19:22:35 +00:00

appendix-witness.md

Systematically update syntax in the design for #7254 (#7259 )

2026-07-07 00:41:06 +00:00

details.md

Update observe design doc to reflect proposal #7545 (#7617 )

2026-08-11 19:09:38 +00:00

goals.md

Systematically update syntax in the design for #7254 (#7259 )

2026-07-07 00:41:06 +00:00

overview.md

Move adapters from generics to class design docs (#7561 )

2026-07-27 22:33:37 +00:00

README.md

Updates to generics design details, part 2 (#3253 )

2023-10-03 00:03:07 +00:00

terminology.md

Move adapters from generics to class design docs (#7561 )

2026-07-27 22:33:37 +00:00

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: 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.