2025-07-21 — Last Week in Carbon #5833

geoffromer · 2025-07-21T18:40:12Z

geoffromer
Jul 21, 2025
Maintainer

None of the regular meetings this week due to the Carbon Summit! Trip report will be forthcoming.

Decisions
- (none)
New RFC proposals
- (none)
Active discussions
- #5434 ref parameters, arguments, returns and val returns
  - lead feedback
- #5545 Expression form basics
  - lead feedback: "The approach here looks good to me. Comments are mostly about how we're presenting the approach in the updates to the design documents."

Moderation and conduct teams are still the same size, available in theory from UTC-7 until UTC-5.5: 10 trained members altogether + community lead (hands-off trainer, coach, guide)
- DONE: Transparency report for the last quarter (2025Q2)
Peaceful past week again, with:
- In the last 7 days in our repo: 6 authors pushed 31commits to trunk, we changed 255 files with 8,740 additions and 8,567 deletions, 31 merged PRs and 4 open PRs, we neither closed nor opened any issue

#strategy Link to blog post about fast lexer strategies.
#initialization The Reworking unformed state draft proposal has had a bunch of updates.
#infra Clang-tidy is adding vertical whitespace in a surprising place.
- The problem is actually a reviewdog bug.
#language-questions Discussion about our plans for unsafe interop, binding modes, and shared vs. exclusive mutability (with the creator of Ante)
#functions Does it make sense to say Carbon has two kinds of functions, ones that can be called and ones that can't (like interface methods)?
#getting-started How can I start contributing? It's all a little overwhelming.
- CONTRIBUTING.md is probably the best place to start.
#strategy #5810 "Carbon: How we compile" (recording, slides) talk now public.
#pattern-matching Summary of post-summit brainstorming about enum declaration and matching syntax.
#syntax Summary of post-summit discussion of optional type syntax.
- Leaning toward keyword syntax for type, e.g. x: opt(const i32*).
- Possible general principle that prefix unary keywords should be adjective-like (e.g. const, partial).
- Leaning toward postfix keyword for access, e.g. x.try.
#strategy Link to blog post "The borrowchecker is what I like the least about Rust"
#proposals-prs-and-process Discussion of how to write proposals, following up from the summit.