carbon-lang

carbon-lang copied to clipboard

Define the binding operation used to compute the result of `x.y`, `p->y`, `x.(C.y)`, and `p->(C.y)` as calling a method from user-implementable interfaces.

josh11b

Require exact syntactic matching in redeclarations. Provide new terminology for redeclaration matching and agreement. Specify non-redeclaration rules for the other contexts where we require multiple declarations to match, such as...

zygoloid

Create a glossary of terms used by Carbon

12

It was suggested in the 2020-07-01 Carbon meeting that there should be a glossary of term that are used when discussing Carbon to ensure that all parties has a common...

sidney13

Open design idea: properties

8

### Disclaimer This issue is part of a series that are just recording language design ideas that have come up for Carbon. It isn't necessarily a *good* idea, or one...

chandlerc

Forward declarations of choice types

5

Currently, there is no suggestion in the design that choice types support forward declarations, and the toolchain implementation consequently does not support forward declarations of choice types. So: - Should...

zygoloid

Inferring parameter types with `auto`

3

In C++, it is possible to infer parameter types and return types of functions using the `auto` keyword: ``` auto square(auto x){ return x*x; } ``` I tried to use...

jarble

Add note for meeting process to CONTRIBUTING

2

A few things CONTRIBUTING.md could help with: - Process, particularly "raise hands" with a link to the appropriate help page - How to get an invite to meetings (need to...

jonmeow

Change new_proposal.py to be upstream-agnostic

1

There are issues with specifying `push -u origin` in new_proposal.py. `gh` can result in a repo either using `upstream`+`origin`, or `origin`+`fork`, with the second name being the fork in both...

jonmeow

This is modeled analogously to FunctionType. So far, GenericClassType has no operations, but eventually values of that type will be callable like values of FunctionType.

zygoloid

Change the syntax for `package` declarations from: ```carbon [package Foo] [library "bar"] api; [package Foo] [library "bar"] impl; ``` to ```carbon [package Foo] [library "bar"]; impl [package Foo] [library "bar"];...

zygoloid