CJ Johnson

Does Lambdas' introduction of ref and copy resolve the open question in values.md?

2

### Summary of issue: [/docs/design/values.md#value-representation-and-customization](https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/values.md) > Open question: The syntax for this is just placeholder, using a placeholder keyword. It isn't final at all and likely will need to change...

Lambdas

2

This document proposes a path forward to add lambdas to Carbon. It further proposes augmenting function declarations to create a more continuous syntax between the two categories of functions. In...

What additional restrictions, if any, should be applied to functions which use positional parameters?

3

### Summary of issue: In addition to the proposed restrictions (definition must be attached to the declaration; only one function in an enclosing scope can use positional parameters), an additional...

Should the wide arrow in match-case be dropped?

5

### Summary of issue: New Information: The syntax for match-case was chosen before the syntax of lambdas was designed. Since then, lambdas landed in the language in #3848. This means...

What are the semantics of the parentheses in a match-case statement?

2

### Summary of issue: There is tension between the parentheses in the match portion of a match-case and the case portion. We expect both to have parentheses, but the semantics...

CTAD in Carbon?

5

Doc: https://docs.google.com/document/d/1QwW0KF1OikLYPtr6EWDCw_zSCcts1kvvwijGRwozv8s/ In case we decide we want to take on CTAD-like behavior in Carbon, I'm creating this as a long-term issue so the doc doesn't get lost and is...

Constraints on variadic pack arity, template phase arity and constant time query operations on packs

1

Doc: https://docs.google.com/document/d/1bAG5UHqMw7i8Yoyv1wiIhG2dNlu5vLgOYvWyttYLges/ In case we decide we want to expand on the current variadics design to support symbolic phase pack arity constraints, template phase artity, and constant time query operations...

Update TotW #120 to reflect the OSS availability of absl::Cleanup and absl::Status

6

I noticed that these two utilities were not being used in the code examples of TotW #120. Hopefully this all checks out! Also, while I'm here, I fixed the incorrect...

What kinds of type deduction do we want to support?

19

We have two forms of type deduction, so far, from what I can tell. The first is the `auto` keyword where variables, function parameters and function return types can be...

Previous: * https://github.com/carbon-language/carbon-lang/issues/5118 * https://github.com/carbon-language/carbon-lang/issues/5119 In addition to the above suggestions (make parens mandatory on `case`, remove the wide arrow after `case`), I think it would be great if we...