carbon-lang

carbon-lang copied to clipboard

The current wording is unclear as to which part of the syntax makes a parameter checked vs unchecked (it looks like it's the :!).

I'm also suggesting referring to unchecked parameters as unchecked (rather than template) makes it more clear that we're dealing with a dichotomy. Additionally, while using "template parameter" in this context probably comes from the fact that these are how template parameters behave in C++, checked parameters are also... kind of template parameters (in the C++ sense)? So it's hard to see that as a dichotomy.

I'm assigning this to @josh11b to review, but note pre-commit is failing (we use prettier for formatting, see https://github.com/carbon-language/carbon-lang/blob/trunk/docs/project/contribution_tools.md#pre-commit for how to install pre-commit automation but you can also copy the output of the failed check)

Proposal #2138 has resolved this question in favor of "checked" and "template" terminology.

I've made a replacement PR #2216 . Please direct comments there.