carbon-lang

carbon-lang copied to clipboard

This proposal introduces the concept of a form, which is a generalization of "type" that encompasses all of the information about an expression that's visible to the type system, including type and expression category. Forms can be composed into tuple forms and struct forms, which lets us track the categories of individual tuple and struct literal elements.