| # Go 2, here we come! | |
| 29 Nov 2018 | |
| Tags: go2, proposals, community | |
| Summary: How Go 2 proposals will be evaluated, selected, and shipped. | |
| Robert Griesemer | |
| ## Background | |
| At GopherCon 2017, Russ Cox officially started the thought process on the | |
| next big version of Go with his talk [The Future of Go](https://www.youtube.com/watch?v=0Zbh_vmAKvk) | |
| ([blog post](https://blog.golang.org/toward-go2)). We have | |
| called this future language informally Go 2, even though we understand now | |
| that it will arrive in incremental steps rather than with a big bang and a | |
| single major release. Still, Go 2 is a useful moniker, if only to have a way | |
| to talk about that future language, so let’s keep using it for now. | |
| A major difference between Go 1 and Go 2 is who is going to influence the | |
| design and how decisions are made. Go 1 was a small team effort with modest | |
| outside influence; Go 2 will be much more community-driven. | |
| After almost 10 years of exposure, we have | |
| learned a lot about the language and libraries that we didn’t know in the | |
| beginning, and that was only possible through feedback from the Go community. | |
| In 2015 we introduced the [proposal process](https://golang.org/s/proposal) | |
| to gather a specific kind of feedback: proposals for language and library | |
| changes. A committee composed of senior Go team members has been reviewing, | |
| categorizing, and deciding on incoming proposals on a regular basis. That | |
| has worked pretty well, but as part of that process we have ignored all | |
| proposals that are not backward-compatible, simply labeling them Go 2 instead. | |
| In 2017 we also stopped making any kind of incremental backward-compatible | |
| language changes, however small, in favor of a more comprehensive plan that | |
| takes the bigger picture of Go 2 into account. | |
| It is now time to act on the Go 2 proposals, but to do this we first need a plan. | |
| ## Status | |
| At the time of writing, there are around 120 | |
| [open issues labeled Go 2 proposal](https://github.com/golang/go/issues?page=1&q=is%3Aissue+is%3Aopen+label%3Aproposal+label%3AGo2&utf8=%E2%9C%93). | |
| Each of them proposes a significant library or language change, often one | |
| that does not satisfy the existing | |
| [Go 1 compatibility guarantee](https://golang.org/doc/go1compat). | |
| Ian Lance Taylor and I | |
| have been working through these proposals and categorized them | |
| ([Go2Cleanup](https://github.com/golang/go/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+label%3Aproposal+label%3AGo2+label%3AGo2Cleanup), | |
| [NeedsDecision](https://github.com/golang/go/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+label%3Aproposal+label%3AGo2+label%3ANeedsDecision), | |
| etc.) to get an idea of what’s there and to make it easier to | |
| proceed with them. We also merged related proposals and closed the ones which | |
| seemed clearly out of the scope of Go, or were otherwise unactionable. | |
| Ideas from the remaining proposals will likely influence Go 2’s libraries | |
| and languages. Two major themes have emerged early on: support for better | |
| error handling, and generics. [Draft designs](https://blog.golang.org/go2draft) | |
| for these two areas have been | |
| published at this year’s GopherCon, and more exploration is needed. | |
| But what about the rest? We are [constrained](https://blog.golang.org/toward-go2) | |
| by the fact that we now have | |
| millions of Go programmers and a large body of Go code, and we need to | |
| bring it all along, lest we risk a split ecosystem. That means we cannot | |
| make many changes, and the changes we are going to make need to be chosen | |
| carefully. To make progress, we are implementing a new proposal evaluation | |
| process for these significant potential changes. | |
| ## Proposal evaluation process | |
| The purpose of the proposal evaluation process is to collect feedback on | |
| a small number of select proposals such that a final decision can be made. | |
| The process runs more or less in parallel to a release cycle and consists | |
| of the following steps: | |
| 1. _Proposal selection_. The Go team selects a small number of | |
| [Go 2 proposals](https://github.com/golang/go/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+label%3AGo2+label%3AProposal) | |
| that seem worth considering for acceptance, without making a final decision. | |
| See below for more on the selection criteria. | |
| 2. _Proposal feedback_. The Go team sends out an announcement listing the selected | |
| proposals. The announcement explains to the community the tentative intent to | |
| move forward with the selected proposals and to collect feedback for each | |
| of them. This gives the community a chance to make suggestions and express | |
| concerns. | |
| 3. _Implementation_. Based on that feedback, the proposals are implemented. | |
| The target for these significant language and library changes is to have | |
| them ready to submit on day 1 of an upcoming release cycle. | |
| 4. _Implementation feedback_. During the development cycle, the Go team and | |
| community have a chance to experiment with the new features and collect | |
| further feedback. | |
| 5. _Launch decision_. At the end of the three month | |
| [development cycle](https://github.com/golang/go/wiki/Go-Release-Cycle) | |
| (just when starting the three month repo freeze before a release), and | |
| based on the experience and feedback gathered during the release cycle, | |
| the Go team makes the final decision about whether to ship each change. | |
| This provides an opportunity to consider whether the change has delivered | |
| the expected benefits or created any unexpected costs. Once shipped, the | |
| changes become part of the language and libraries. Excluded proposals may | |
| go back to the drawing board or may be declined for good. | |
| With two rounds of feedback, this process is slanted towards declining | |
| proposals, which will hopefully prevent feature creep and help with | |
| keeping the language small and clean. | |
| We can’t go through this process for each of the open Go 2 | |
| proposals, there are simply too many of them. That’s where the selection | |
| criteria come into play. | |
| ## Proposal selection criteria | |
| A proposal must at the very least: | |
| 1. _address an important issue for many people_, | |
| 2. _have minimal impact on everybody else_, and | |
| 3. _come with a clear and well-understood solution_. | |
| Requirement 1 ensures that any changes we make help as many Go developers | |
| as possible (make their code more robust, easier to write, more likely to | |
| be correct, and so on), while requirement 2 ensures we are careful to hurt | |
| as few developers as possible, whether by breaking their programs or causing | |
| other churn. As a rule of thumb, we should aim to help at least ten times as | |
| many developers as we hurt with a given change. Changes that don't affect | |
| real Go usage are a net zero benefit put up against a significant | |
| implementation cost and should be avoided. | |
| Without requirement 3 we don’t have an implementation of the proposal. | |
| For instance, we believe that some form of genericity might solve an important | |
| issue for a lot of people, but we don’t yet have a clear and well-understood | |
| solution. That’s fine, it just means that the proposal needs to go back to | |
| the drawing board before it can be considered. | |
| ## Proposals | |
| We feel that this is a good plan that should serve us well but it is important | |
| to understand that this is only a starting point. As the process is used we will | |
| discover the ways in which it fails to work well and we will refine it as needed. | |
| The critical part is that until we use it in practice we won't know how to improve it. | |
| A safe place to start is with a small number of backward-compatible language | |
| proposals. We haven’t done language changes for a long time, so this gets us | |
| back into that mode. Also, the changes won’t require us worrying about | |
| breaking existing code, and thus they serve as a perfect trial balloon. | |
| With all that said, we propose the following selection of Go 2 proposals for | |
| the Go 1.13 release (step 1 in the proposal evaluation process): | |
| 1. [_\#20706_](https://github.com/golang/go/issues/20706) _General Unicode identifiers based on_ [_Unicode TR31_](http://unicode.org/reports/tr31/): | |
| This addresses an important issue for Go programmers using non-Western alphabets | |
| and should have little if any impact on anyone else. There are normalization | |
| questions which we need to answer and where community feedback will be | |
| important, but after that the implementation path is well understood. | |
| Note that identifier export rules will not be affected by this. | |
| 2. [_\#19308_](https://github.com/golang/go/issues/19308), [_\#28493_](https://github.com/golang/go/issues/28493) _Binary integer literals and support for \_ in number literals_: | |
| These are relatively minor changes that seem hugely popular among many | |
| programmers. They may not quite reach the threshold of solving an | |
| “important issue” (hexadecimal numbers have worked well so far) but they | |
| bring Go up to par with most other languages in this respect and relieve | |
| a pain point for some programmers. They have minimal impact on others who | |
| don’t care about binary integer literals or number formatting, and the | |
| implementation is well understood. | |
| 3. [_\#19113_](https://github.com/golang/go/issues/19113) _Permit signed integers as shift counts_: | |
| An estimated 38% of all non-constant shifts require an (artificial) uint | |
| conversion (see the issue for a more detailed break-down). This proposal | |
| will clean up a lot of code, get shift expressions better in sync with index | |
| expressions and the built-in functions cap and len. It will mostly have a | |
| positive impact on code. The implementation is well understood. | |
| ## Next steps | |
| With this blog post we have executed the first step and started the second | |
| step of the proposal evaluation process. It’s now up to you, the | |
| Go community, to provide feedback on the issues listed above. | |
| For each proposal for which we have clear and approving feedback, we will | |
| move forward with the implementation (step 3 in the process). Because we | |
| want the changes implemented on the first day of the next release cycle | |
| (tentatively Feb. 1, 2019) we may start the implementation a bit early | |
| this time to leave time for two full months of feedback (Dec. 2018, | |
| Jan. 2019). | |
| For the 3-month development cycle (Feb. to May 2019) the chosen features | |
| are implemented and available at tip and everybody will have a chance to | |
| gather experience with them. This provides another opportunity for feedback | |
| (step 4 in the process). | |
| Finally, shortly after the repo freeze (May 1, 2019), the Go team makes the | |
| final decision whether to keep the new features for good (and include them | |
| in the Go 1 compatibility guarantee), or whether to abandon them (final | |
| step in the process). | |
| (Since there is a real chance that a feature may need to be removed just | |
| when we freeze the repo, the implementation will need to be such that the | |
| feature can be disabled without destabilizing the rest of the system. | |
| For language changes that may mean that all feature-related code is | |
| guarded by an internal flag.) | |
| This will be the first time that we have followed this process, hence the | |
| repo freeze will also be a good moment to reflect on the process and to | |
| adjust it if necessary. Let’s see how it goes. | |
| Happy evaluating! |