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

Files

T

Chandler CarruthandRichard Smith 94d2c1c6d4 Make proposal filenames use 6 digits and include the title (#7245 )

We've talked about adding the title to the filename several times over
the years and it seems really valuable. This requires us to compute a
"slug" for the title spelling that can be part of the filename.

Beyond that, we crossed 7000 recently, and so it seems likely that we
will need to add digits sooner rather than later here, so this goes
ahead and moves us to 6 digits so we don't have to adjust again for a
reasonable length of time.

To implement this and ensure we can sustain it going forward this adds a
tool to our pre-commit that validates (and corrects if needed) the
filename.

In order to update everything and keep links working, there are a _lot_
of changes, but the most interesting for direct review are in
`proposals/scripts`.

Assisted-by: Antigravity with Gemini

---------

Co-authored-by: Richard Smith <richard@metafoo.co.uk>

2026-05-29 00:55:04 +00:00

appendix-coherence.md

Update examples throughout the design for p7016 (#7200 )

2026-05-13 18:42:55 +00:00

appendix-rewrite-constraints.md

Update examples throughout the design for p7016 (#7200 )

2026-05-13 18:42:55 +00:00

appendix-witness.md

Update examples throughout the design for p7016 (#7200 )

2026-05-13 18:42:55 +00:00

details.md

Make proposal filenames use 6 digits and include the title (#7245 )

2026-05-29 00:55:04 +00:00

goals.md

Update broken links (#3786 )

2024-03-22 18:42:20 +00:00

overview.md

Update examples throughout the design for p7016 (#7200 )

2026-05-13 18:42:55 +00:00

README.md

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

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

terminology.md

Update examples throughout the design for p7016 (#7200 )

2026-05-13 18:42:55 +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.