spec: language change review meeting minutes

[griesemer]

The Go 2 proposal review group meets monthly (every first Wednesday of a month) to review pending Go 2 proposal issues and move them along in the proposal process.

Review consists primarily of checking that discussion is ongoing, commenting on issues to move discussion along, summarizing long discussions, CC’ing experts, and accepting or closing proposals when the discussion on the GitHub issue has reached a clear consensus about the outcome.

Review also includes closing proposals that are untenable (for example, because the changes are sufficiently backwards-incompatible even after allowing for significant changes to the language as part of the Go 2 effort, or violate key design goals of the language or packages).

This meta-issue records minutes of the Go 2 proposal review meetings as issue comments, so that they can be cross-linked easily with the relevant issues. This meta-issue is for minutes only; comments that are not meeting minutes will be deleted.

(See also #33502 which records the minutes of non-Go 2 proposals review meetings).

[griesemer]

2019-08-27 / @bradfitz, @griesemer, @ianlancetaylor

• 33171 add a ternary conditional operator

  • likely decline, final call for comments

• 33202 local/private to file

  • likely decline, final call for comments

• 33205 add Posit data type

  • commented, put on hold

• 33232 add alias for interface {} as any

  • commented, put on hold

• 33325 add built-in function "formallyRead" for preventing elimination of "dead" stores

  • commented, closed (alternative solution exists)

• 33359 negative slice/array indexes

  • adjusted title
  • commented (no action taken)

• 33361 add elixir-like pipe operator

  • commented with solution using existing language
  • likely decline, final call for comments

• 33387 simplify error handling with try err == nil {} except {}

  • likely decline, final call for comments

• 33480 merge Type Assertion notation x.(T) into Explicit Conversion notation T(x)

  • likely decline, final call for comments

• 33167 allow self-referencing closures

  • commented (no action taken)

[griesemer]

2019-09-03 / @bradfitz, @griesemer, @ianlancetaylor

• 33359 Go 2: negative slice/array indexes

  • commented

• 33694 Go 2: add chained interval comparisons

  • commented

• 33957 Go 2: Destructuring operator to assign fields in different types of the structs

  • commented

• 32306 io: deprecate CopyBuffer

  • commented (request for feedback)

• 32848 32848

  • commented
  • likely decline, final call for comments

• 32884 Go2: try: Change try() proposal to use a special character in the position where an error is returned

  • commented
  • likely decline, final call for comments

• 32941 Go2: Tuple type

  • commented
  • likely decline, final call for comments

[griesemer]

2019-09-10 / @bradfitz, @griesemer, @iant

• 33359 Go 2: negative slice/array indexes

  • discussed, waiting for more community feedback

• 33694 Go 2: add chained interval comparisons

  • commented
  • likely decline, final call for comments

• 33957 Go 2: Destructuring operator to assign fields in different types of the structs

  • discussed, waiting for more community feedback

• 34174 string interpolation

  • commented

[griesemer]

20190-09-17 / @bradfitz, @griesemer, @iant

• 32306 io: deprecate CopyBuffer

  • commented and declined (we’re not going to remove CopyBuffer)
  • changed to (non-Go 2) documentation issue

• 32964 add tryfunc keyword to further reduce boilerplating for error handling

  • commented
  • likely decline, final call for comments

• 33002 Expand check functionality with scoped handle blocks

  • commented
  • likely decline, final call for comments

• 33029 Go 2: add "or err: statement" after function calls for error handling

  • commented

[griesemer]

2019-09-24 / @bradfitz, @griesemer

• 33080 allow conversion between return types and structs

  • commented

• 20616 spec: disallow assigning >32bit untyped constant to variable of type int

  • discussed

[griesemer]

2019-10-01 / @bradfitz, @griesemer, @iant

• 32848 Go 2: "onerr return"

  • closed (no further comments)

• 32884 Go2: try: Change try() proposal to use a special character in the position where an error is returned

  • closed (no further comments)

• 32941 Go2: Tuple type

  • commented
  • closed

• 32964 Go 2: add tryfunc keyword to further reduce boilerplating for error handling

  • likely decline, final call for comments

• 33171 Go 2: add a ternary conditional operator

  • commented
  • closed

• 33202 Go2: local/private to file

  • commented
  • closed

• 33361 Go 2: add elixir-like pipe operator

  • commented
  • closed

• 33387 Go 2: simplify error handling with try err == nil {} except {}

  • closed

• 33480 Go 2: merge Type Assertion notation x.(T) into Explicit Conversion notation T(x)

  • closed

• 33029 Go 2: add "or err: statement" after function calls for error handling

  • commented
  • likely decline, final call for comments

• 33046 Go 2: Make goroutine return channel with function result (promise)

  • commented

• 33067 Go 2: remove the "if" keyword and use "err?!" to avoid error handling boilerplate

  • commented
  • likely decline, final call for comments

• 33070 Go 2: list symbols that don't require package name

  • commented
  • likely decline, final call for comments

• 33074 Go 2: Use ?<variable> simplify handling of multiple-return-values

  • commented
  • likely decline, final call for comments

• 33078: "Filled types": a mechanism to guarantee types are not nil at compile time

  • commented

[griesemer]

2019-10-08 / @bradfitz, @griesemer, @iant

• 33694: Go 2: add chained interval comparisons

  • closed (additional comments were unrelated)

• 33080: allow conversion between return types and structs

  • commented

• 33088: Go2: automatically take address of pointer parameters (reference arg behavior)

  • commented
  • likely decline, final call for comments

• 33122: Go2: arg tags for marking const, other properties; use in vet

  • closed (duplicate of #24889)

• 33150: Go 2: use symbol or function call in assignment for error handling

  • commented
  • likely decline, final call for comments

• 33152: Go 2: simplify error handling with ? and …

  • commented

[griesemer]

2019-10-15 / @bradfitz, @griesemer, @iant

• 32964 add tryfunc keyword to further reduce boilerplating for error handling

  • closed (no further comments)

• 33002 Expand check functionality with scoped handle blocks

  • closed (no further comments)

• 32895 Go 2: mini-package: a solution to unify Go builtin and custom generics

  • likely decline, final call for comments

• 21182 Go 2: reduce noise in return statements that contain mostly zero values

  • commented

• 33046 Go 2: Make goroutine return channel with function result (promise)

  • likely decline, final call for comments

• 33078 "Filled types": a mechanism to guarantee types are not nil at compile time

  • commented
  • likely decline, final call for comments

• 33161 Go 2: block scoped error handling

  • commented
  • likely decline, final call for comments

• 33167 Go 2: allow self-referencing closure

  • commented

[griesemer]

2019-10-22 / @bradfitz, @griesemer

• 35010 Go 2: integer comparison casting

  • commented

• 34996 Go 2: syntax for explicitly implementable interfaces

  • commented

• 34896 Go 2: looping with deferred condition as do while

  • commented
  • likely decline, final call for comments

• 34144 Go 2: extend "continue" to jump to start of function

  • commented
  • likely decline, final call for comments

• 34088 Go 2: allow trailing commas in the switch case enumerations

  • commented
  • likely decline, final call for comments

• 34515 Go 2: extended type inference for make and new

  • commented

[griesemer]

2019-10-29 / @bradfitz, @griesemer, @iant

• 33029 Go 2: add "or err: statement" after function calls for error handling

  • closed (no further comments)

• 33046 Go 2: Make goroutine return channel with function result (promise)

  • closed (no further comments)

• 33067 Go 2: remove the "if" keyword and use "err?!" to avoid error handling boilerplate

  • closed (no further comments)

• 33070 Go 2: list symbols that don't require package name

  • closed (no further comments)

• 33074 Go 2: Use ?<variable> simplify handling of multiple-return-values

  • closed (by submitter on 2019-10-07)

• 33167 Go 2: allow self-referencing closures

  • commented
  • likely decline, final call for comments

• 33359 Go 2: negative slice/array indexes

  • commented

• 33818 Go 2: Type parameterized interface default methods

  • commented

• 33957 Go 2: Destructuring operator to assign fields in different types of the structs

  • commented

• 34174 string interpolation

  • commented

• 34403 Go 2: aggregate error handling & defer syntax sugar

  • likely decline, final call for comments

[griesemer]

2019-11-05 / @bradfitz, @griesemer, @iant

• 33088: Go2: automatically take address of pointer parameters (reference arg behavior)

  • closed (one comment, no substantial change)

• 33150: Go 2: use symbol or function call in assignment for error handling

  • closed (one comment, no substantial change)

• 34515 Go 2: extended type inference for make and new

  • commented

• 34868 compile-time boolean assertions

  • commented

• 34996 Go 2: syntax for explicitly implementable interfaces

  • commented
  • likely decline, final call for comments

• 35010 Go 2: integer comparison casting

  • commented
  • likely decline, final call for comments

[griesemer]

2019-11-12 / @bradfitz, @griesemer

• 32895 Go 2: mini-package: a solution to unify Go builtin and custom generics

  • closed (no change in consensus)

• 33078 "Filled types": a mechanism to guarantee types are not nil at compile time

  • closed (author ok’ed closing the issue)

Note: This was an abbreviated mtg due to external scheduling conflicts.

[griesemer]

2019-11-19 / @bradfitz, @griesemer, @iant

• 33167 Go 2: allow self-referencing closures

  • commented
  • removed final call for comments label due to valid feedback

• 34896 Go 2: looping with deferred condition as do while

  • closed (no further comments)

• 34144 Go 2: extend "continue" to jump to start of function

  • closed (no further comments)

• 34088 Go 2: allow trailing commas in the switch case enumerations

  • closed (no change in concensus)

• 35086 Go2: Error checking and handling inspired on Switch/Case statements

  • commented
  • likely decline, final call for comments

• 35093 Go2: Functions which when called, can cause the current function to return

  • commented

• 35179 Go 2: add try statement to specify handler for unhandled errors

  • commented
  • likely decline, final call for comments

• 35206 Go 2: Discard methods

  • commented
  • likely decline, final call for comments

• 35304 anonymous struct literals

  • commented (in fair detail)

• 35307 Go2: Vector Basic Type - Similar to []T but with enhancements

  • commented

[ianlancetaylor]

2019-11-26 / @bradfitz, @ianlancetaylor

• 34403 Go 2: aggregate error handling & defer syntax sugar

  • closed no change in consensus

• 33957 Go 2: Destructuring operator to assign fields in different types of the structs

  • likely decline, final call for comments

• 34174 Go 2: string interpolation

  • likely decline, final call for comments

• 34515 Go 2: extended type inference for make and new

  • commented

• 34868 Go 2: compile-time boolean assertions

  • pinged author

• 35093 Go 2: functions which, when called, can cause the current function to return

  • pinged author

• 35304 Go 2: anonymous struct literals

  • commented, pinged author

• 35307 Go 2: vector basic type

  • likely decline, final call for comments

• 35387 Go 2: file scope

  • likely decline, final call for comments

[griesemer]

2019-12-03 / @bradfitz, @griesemer, @iant

• 34996 Go 2: syntax for explicitly implementable interfaces

  • closed (no change in consensus)

• 35010 Go 2: integer comparison casting

  • closed (no final comments)

• 33161 Go 2: block scoped error handling

  • closed (no final comments)

• 35528 compact syntax for multiple property assignation on a same object

  • likely decline, final call for comments

• 35535 treat declared function names as type names

  • likely decline, final call for comments

• 31795 Go 2: change len, cap to return untyped ints if result is constant

  • closed (retracted by author)

• 35654 Go 2: don't allow taking address of slice elements

  • likely decline, final call for comments

[griesemer]

2019-12-10 / @bradfitz, @griesemer, @iant

• 35966 Go 2: universal zero value with type inference

  • commented

• 33167 Go 2: allow self-referencing closures

  • likely decline, final call for comments

• 33359 Go 2: negative slice/array indexes

  • likely decline, final call for comments

[griesemer]

2019-12-17 / @griesemer

• 35086 Go2: Error checking and handling inspired on Switch/Case statements

  • closed (no final comments)

• 35206 Go 2: Discard methods

  • closed (no final comments)

Note: Due to other reviewers being ooo I only processed two proposals that were scheduled for closing.

[griesemer]

2020-01-07 / @bradfitz, @griesemer, @iant

• 33957 Go 2: Destructuring operator to assign fields in different types of the structs

  • closed (no change in concensus)

• 35093 Go 2: functions which, when called, can cause the current function to return

  • likely decline, final call for comments

• 35307 Go 2: vector basic type

  • closed (no change in concensus)

• 35387 Go 2: file scope

  • closed (no change in concensus)

• 35528 compact syntax for multiple property assignation on a same object

  • closed (no change in concensus)

• 35535 treat declared function names as type names

  • closed (no further comments)

• 35654 Go 2: don't allow taking address of slice elements

  • closed (no further comments)

• 33167 Go 2: allow self-referencing closures

  • closed (no further comments)

• 33359 Go 2: negative slice/array indexes

  • closed (no change in concensus)

• 35179 Go 2: add try statement to specify handler for unhandled errors

  • closed (no change in concensus)

[griesemer]

2020-01-14 / @bradfitz, @griesemer, @iant

• 36407 Go 2: run for loop in a goroutine with go keyword

  • commented
  • likely decline, final call for comments

We also discussed how we can make the Go 2 proposal review process more scalable. Currently it is fairly simple to create a new Go 2 proposal (like the proposal process intended), but then it becomes a significant burden for the proposal committee to ask and answer many of the questions that should have been answered by the proposal. We are planning to introduce a template of questions (CL 214820) with the intent to dismiss new proposals quickly if they don’t have reasonable answers for most of the questions.

[griesemer]

2020-01-21 / @bradfitz, @griesemer, @iant

• 36508 Go 2: remove map from keywords

  • commented

• 36669 Go 2: decorator support, like python decorator

  • commented

• 36626 Go 2: make no result values expected when self has no return value too

  • commented

• 33080 allow conversion between return types and structs

  • commented

• 36284 Go2: Drying up Error Handling in Go

  • commented

[griesemer]

2020-01-28 / @bradfitz, @griesemer, @iant

• 36457 Go 2: A compatible generics syntax

  • commented
  • closed (folded into #15292)

• 36533 make generic parentheses declaration order consistent with array bracket declaration order

  • commented
  • closed (folded into #15292)

• 36669 Go 2: decorator support, like python decorator

  • commented
  • likely decline, final call for comments

• 36387 Go 2: exhaustive switching for enum type-safety

  • commented

• 36338 Go 2: error handling with error receiver function

  • commented

• 36332 Go 2: obtain struct field name in type-safe way

  • commented
  • likely decline, final call for comments

• 36303 new builtin to pick from one of two values

  • commented
  • likely decline, final call for comments

• 36177 make generic code clearer

  • commented
  • closed (folded into #15292)

[griesemer]

2020-02-04 / @griesemer, @iant

• 35093 Go 2: functions which, when called, can cause the current function to return

  • closed (no further comments)

• 36702 proposal: Go needs a comparable collection type

  • commented
  • put on hold

• 36816 proposal: Go 2: expand power of range for slices/arrays

  • commented

• 36855 Go 2: initialise funcs with custom type names

  • commented
  • likely decline, final call for comments

• 36863 Go 2: indentation in multiline raw string literals

  • closed (duplicate of #32950)

• 36884 Go 2: explicit nil and pointer param

  • commented
  • likely decline, final call for comments

• 36890 Go 2: byte array <-> string conversions

  • commented

• 36924 Go 2: add nameof() built-in function

  • commented

• 36387 Go 2: exhaustive switching for enum type-safety

  • commented

[griesemer]

2020-02-18 / @bradfitz, @griesemer, @iant

• 37243 Go 2: improve error handling with “??” keyword for a special case

  • likely decline, final call for comments

  • 37165 Add ?? operator to select first non-zero value

  • commented
  • on hold

• 36508 Go 2: remove map from keywords

  • likely decline, final call for comments

• 36890 Go 2: permit converting a string constant to a byte array type

  • retitled

• 36955 Go 2: allow channel/map/type assertions in return (val, bool)

  • commented
  • likely decline, final call for comments

• 36972 Go 2: compiler chosen constants - make(const, , )

  • commented

• 37039 Go 2: add C# like nameof() built-in function

  • commented

[griesemer]

2020-02-25 / @bradfitz, @griesemer, @iant

• 36303 new builtin to pick from one of two values

  • closed (no change in consensus)

• 36669 Go 2: decorator support, like python decorator

  • closed (no change in consensus)

• 36332 Go 2: obtain struct field name in type-safe way

  • closed (no change in consensus)

• 37039 Go 2: add C# like nameof() built-in function

  • commented

• 37085 Go 2: permit using errors.Return, etc., on LHS of an error assignment

  • commented

• 37129 Allow function to satisfy interface while returning interface superset

  • commented
  • likely decline, final call for comments

• 37141 Go 2: simplify error handling - error passing with "pass"

  • commented

• 37144 Go 2: time: deprecate time.Tick(d Duration)

  • closed (proposal withdrawn)

• 37235 Title and ToTitle have similar names but do different things

  • commented
  • closed

• 37280 Go 2: implement an interface based on function signature if method name is ambiguous

  • commented
  • likely decline, final call for comments

• 37292 Go 2: integrated compile time language

  • commented
  • likely decline, final call for comments

[josharian]

I just wanted to let the proposal review group know that these meeting minutes are helpful, and that I appreciate you writing them up. If others feel the same way, please give a thumbs up to this comment, so that the review group knows. :)

[myitcv]

Unfortunately, @josharian, it will be a very quiet emoji party because the conversation is locked 🔒

[griesemer]

@josharian Thanks! We will keep doing this.

[griesemer]

2020-03-10 / @bradfitz, @griesemer, @iant

• 36855 Go 2: initialise funcs with custom type names

  • closed (no change in consensus)

• 36884 Go 2: explicit nil and pointer param

  • closed (no change in consensus)

• 36994 Go 2: universal WrapError type

  • commented

• 37039 Go 2: add C# like nameof() built-in function

  • likely decline, final call for comments

• 37141 Go 2: simplify error handling - error passing with "pass"

  • commented

• 37303 Immutable data

  • commented

• 37346 Go 2: type annotation ~ for stack allocated variables

  • likely decline, final call for comments

• 37658 Go 2: integer array <-> integer type conversion

  • commented

• 37742 Go 2: extend types out of package where it is defined.

  • commented

[griesemer]

2020-03-17 / @bradfitz, @griesemer, @iant

• 37243 Go 2: improve error handling with “??” keyword for a special case

  • closed (no change in consensus)

• 36508 Go 2: remove map from keywords

  • closed (no change in consensus)

• 36955 Go 2: allow channel/map/type assertions in return (val, bool)

  • closed (no change in consensus)

• 37742 Go 2: extend types out of package where it is defined.

  • likely decline, final call for comments

• 37717 allow to use concrete struct for func interface type parameters

  • likely decline, final call for comments

• 449 warn about unused struct or array, ignoring assignment to field or element

  • title changed to vet check

• 2794 spec: require tagged literals for external structs

  • title changed vet check

• 3117 spec: cannot assign to a field of a map element directly: m["foo"].f = x

  • put on hold

• 4096 spec: accept slices and single elements in one append?

  • likely decline, final call for comments

• 4336 spec: boolean shortcut should allow mismatched types

  • likely decline, final call for comments

• 4483 spec: detect impossible interface-interface type assertions

  • commented

• 5376 spec: byte view: type that can represent a []byte or string

  • put on hold

[griesemer]

2020-03-24 / @bradfitz, @griesemer, @iant

• 37129 Allow function to satisfy interface while returning interface superset

  • closed (no change in consensus)

• 37292 Go 2: integrated compile time language

  • closed (further discussion, but no change in consensus)

• 37303 Immutable data

  • commented

• 36994 Go 2: universal WrapError type

  • commented
  • likely decline, final call for comments

• 36890 Go 2: permit converting a string constant to a byte array type

  • commented
  • likely decline, final call for comments

[griesemer]

2020-03-31 / @bradfitz, @griesemer, @iant

• 37039 Go 2: add C# like nameof() built-in function

  • closed (no change in consensus)

• 37346 Go 2: type annotation ~ for stack allocated variables

  • closed (no further comments)

• 38081 Go 2: allow 3-index slices to elide the second (length) term

  • commented

• 35966 Go 2: universal zero value with type inference

  • commented

• 34868 compile-time boolean assertions

  • commented

[griesemer]

2020-04-07 / @bradfitz, @griesemer, @iant

• 37742 Go 2: extend types out of package where it is defined.

  • closed (no change in consensus)

• 38081 Go 2: allow 3-index slices to elide the second (length) term

  • commented

• 38280 Go 2: replace if and switch with when keyword

  • likely decline, final call for comments

• 37085 Go 2: permit using errors.Return, etc., on LHS of an error assignment

  • likely decline, final call for comments

• 33604 go 2: (Lightweight) generics in Go using type lists

  • put on hold

[griesemer]

2020-04-14 / @bradfitz, @griesemer, @iant

• 37717 allow to use concrete struct for func interface type parameters

  • closed (no further comments)

• 4096 spec: accept slices and single elements in one append?

  • closed (no further comments)

• 4336 spec: boolean shortcut should allow mismatched types

  • closed (no further comments)

• 6386 spec: allow constants of arbitrary data structure type

  • commented

• 6923 spec: asymmetry between const and var conversions

  • commented

[griesemer]

2020-04-21 / @bradfitz, @griesemer, @iant

• 36890 Go 2: permit converting a string constant to a byte array type

  • closed (no change in consensus)

• 36994 Go 2: universal WrapError type

  • closed (no change in consensus)

• 37303 Immutable data

  • commented

• 38081 Go 2: allow 3-index slices to elide the second (length) term

  • likely decline, final call for comments

• 38151 allow implicit conversion of error to bool in if statements, fmt on one line

  • likely decline, final call for comments

• 38388 Go 2: reform the variable redeclaration syntax to avoid some confusions and inconveniences

  • commented

• 38484 Go 2: allow default values in methods

  • closed (duplicate of #1675)

• 7485 spec: disallow unused assignment to return variable

  • likely decline, final call for comments

[griesemer]

2020-05-05 / @bradfitz, @griesemer, @iant

• 38280 Go 2: replace if and switch with when keyword

  • closed (no further comments)

• 37085 Go 2: permit using errors.Return, etc., on LHS of an error assignment

  • closed (no further comments)

• 38388 Go 2: reform the variable redeclaration syntax to avoid some confusions and inconveniences

  • commented

• 38753 Go 2: handle type conversion of interface-slices similar to interfaces

  • likely decline, final call for comments

[griesemer]

2020-05-12 / @bradfitz, @griesemer, @iant

• 38388 Go 2: reform the variable redeclaration syntax to avoid some confusions and inconveniences

  • likely decline, final call for comments

• 7429 spec: file and package scope interact in odd ways

  • commented

[griesemer]

2020-05-19 / @griesemer, @iant

• 38081 Go 2: allow 3-index slices to elide the second (length) term

  • closed (no further comments)

• 38151 allow implicit conversion of error to bool in if statements, fmt on one line

  • closed (no change in consensus)

• 7485 spec: disallow unused assignment to return variable

  • closed (no further comments)

• 39085 Address operator for basic and bool literals

  • closed (duplicate of #9097)

• 39111 Go 2: ability to slice in a particular dimension for multidimensional slices.

  • commented

• 25357 text/template: Move text/template/parse into an internal package

  • likely decline, final call for comments

[griesemer]

2020-05-26 / @bradfitz, @griesemer, @iant

• 39111 Go 2: ability to slice in a particular dimension for multidimensional slices.

  • likely decline, final call for comments

• 39148 Go 2: simplify error handling and simplify conditions processing and "?" pipe operation symbol

  • likely decline, final call for comments

• 39182 Go 2: support statically typed kwargs as an alternative to option structs #39182

  • likely decline, final call for comments

• 39216 Go 2: Permit running code at compile-time using "comptime" keyword

  • likely decline, final call for comments

[griesemer]

2020-06-02 / @bradfitz, @griesemer, @iant

• 38753 Go 2: handle type conversion of interface-slices similar to interfaces

  • likely decline, final call for comments (commented)

• 39328 Go 2: refined generics design

  • commented

• 9455 spec: add support for int128 and uint128

  • commented

• 9859 spec: direct reference to embedded fields in struct literals

  • commented

• 10006 spec: reconsider rule disallowing div-0 by constants

  • commented

[griesemer]

2020-06-16 / @bradfitz, @griesemer, @iant

• 38388 Go 2: reform the variable redeclaration syntax to avoid some confusions and inconveniences

  • closed (no change in consensus)

• 25357 text/template: Move text/template/parse into an internal package

  • closed (no change in consensus)

• 39355 make array types ordered when their element type is ordered

  • commented

• 39372 selector-specific control flow & gofmt rules to improve error-checking readability

  • commented

• 39451 Go 2: ErrWrap expressions

  • commented

• 39454 Go 2: change chan syntax from <- to "in out"

  • commented
  • likely decline, final call for comments

• 39530 Go 2: permit file based overloading of unexported names

  • commented

[griesemer]

2020-06-16 / @bradfitz, @griesemer, @iant

• 39111 Go 2: ability to slice in a particular dimension for multidimensional slices.

  • closed (no further comments)

• 39148 Go 2: simplify error handling and simplify conditions processing and "?" pipe operation symbol

  • closed (no further comments)

• 39182 Go 2: support statically typed kwargs as an alternative to option structs

  • closed (no further comments)

• 39216 Go 2: Permit running code at compile-time using "comptime" keyword

  • closed (no further comments)

• 39372 selector-specific control flow & gofmt rules to improve error-checking readability

  • likely decline, final call for comments

• 39530 Go 2: permit file based overloading of unexported names

  • likely decline, final call for comments

• 30639 Go 2: add mechanism to remove API as a function of caller's go.mod "go 1.xx" version

  • commented

[griesemer]

2020-07-07 / @bradfitz, @griesemer, @iant

• 38753 Go 2: handle type conversion of interface-slices similar to interfaces

  • closed (no change in concensus)

[griesemer]

2020-07-14 / @bradfitz, @griesemer, @iant

• 39454 Go 2: change chan syntax from <- to "in out"

  • closed (no change in consensus)

• 19367 unsafe: add Slice and String types, conversions to replace reflect.{Slice,String}Header

  • moved out of Go2 proposal, made a regular proposal

[griesemer]

An update regarding the Go 2 proposal review process:

Over the last couple of years, three of us (@bradfitz, @griesemer, @ianlancetaylor) have been meeting regularly for approx. one hour each week to review outstanding Go 2 proposals. More recently, we have started documenting this process in this issue with weekly updates. The goal was and is to identify promising ideas, weed out less suitable proposals, and generally shepherd along issues so they all get some attention eventually.

As of late, most proposals we are seeing suggest changes to the language. Any language change needs to be fully fleshed out and bring a significant benefit. Yet we are not planning to change the language beyond the ongoing discussion on generics.

In turn, our proposal review meetings have become somewhat scripted and unproductive: We spend much of the time trying to understand or identify issues with (language) proposals so we can make progress or close them for good reason, yet there is no urgent need to make progress with most of them in the first place. In a sense, our goal to ensure all proposals are shepherded along was probably misdirected.

Going forward, we will try a different approach: Instead of trying to process all incoming proposals, we will hand-pick promising candidates as time permits. Similarly, proposals which we don't see going anywhere we will close quickly without too much discussion. On the flipside, we may ignore proposals for extended periods of time. When we do address a proposal, we will continue to report it in this issue. To summarize: We are open to new ideas but we are in no hurry to make changes.

We hope this will free up time to work on more pressing issues. With respect to language changes, most will have to wait until a final decision on generics is made: we don't want unrelated changes to interfere with the generics design. And even after generics, the emphasis will be on fine-tuning the language and rounding it out where there are "holes", rather than radical changes. Given our growing code and user base, we must prize backward-compatibility and stability over personal convenience or preference.

The Go 2 proposal review team.

[griesemer]

2020-07-21 / @bradfitz, @griesemer, @iant

• 39372 selector-specific control flow & gofmt rules to improve error-checking readability

  • closed (no further comments)

• 39530 Go 2: permit file based overloading of unexported names

  • closed (no change in consensus)

• 39799 Go 2: interface methods

  • likely decline, final call for comments

[griesemer]

2020-08-11 / @iant

• 40349 Go 2: add a "scope lifting" operator ^ for short variable declarations in if and for statements

  • closed (dup of #377 which expresses similar ideas)

• 40353 Go 2: multivalue switch

  • likely decline, final call for comments

• 40387 Go 2: accept multiple return values as the last arguments to function calls

  • likely decline, final call for comments

• 40462 Go 2: allow fallthrough in type switches

  • likely decline, final call for comments

[ianlancetaylor]

2020-08-18 / @ianlancetaylor

• 40583 Go 2: use keywords throw, catch, and guard to handle errors

  • likely decline, final call for comments

[ianlancetaylor]

2020-08-25 / @ianlancetaylor

• 40708 Go 2: allow & as l-value operator

  • likely decline, final call for comments

[griesemer]

2020-09-01 / @bradfitz, @griesemer, @iant

• 40821 Go 2: the "watch" statement for easier error handling & more

  • likely decline, final call for comments

• 41129 Go 2: Multi-dimensional slices

  • gri commented

[griesemer]

2020-09-15 / @griesemer, @iant

• 41129 Go 2: Multi-dimensional slices

  • likely decline, final call for comments

• 41148 Go 2: multiple value/tuple channels

  • likely decline, final call for comments

• 41289 Go 2: add native type for map that maintains key order

  • likely decline, final call for comments

• 39799 Go 2: interface methods

  • closed (no change in consensus)

• 40353 Go 2: multivalue switch

  • closed (no further comments)

• 40387 Go 2: accept multiple return values as the last arguments to function calls

  • closed (no further comments)

• 40462 Go 2: allow fallthrough in type switches

  • closed (no further comments)

• 40583 Go 2: use keywords throw, catch, and guard to handle errors

  • closed (no further comments)