Proposal: Go 2: error handling by assignment, with named handlers

[networkimprov]

Background

The feedback wiki for the Go 2 Draft Design proposing check/handle saw the emergence of two recurring themes, documented here:
https://github.com/golang/go/wiki/Go2ErrorHandlingFeedback#recurring-themes

13 responses suggested a nil test triggered by assignment, to reduce if err != nil boilerplate:

f, ? := os.Open(...) // one of many syntaxes suggested

17 responses suggested named error handlers, to enable multiple error paths within a function:

func example(c net.Conn) error {
   a := check os.Open(...) ? openErr // one of many syntaxes suggested
   ...
   b := check os.Open(...) ? openErr
   ...
   check io.Copy(c, a) ? copyErr
   check io.Copy(c, b) ? copyErr
   ...
   handle openErr { ... } // log error
   handle copyErr { ... } // log error, write error msg to c
   return nil
}

Others have newly reiterated both themes in comments on the try() proposal #32437.

Herein is a composite of these recurring themes. I believe it bears consideration in light of the apparently deep resistance to try().

Summary

v, flag [op] := f()

try v, flag [op] := f() // alternative, to indicate control-flow within statement

• flag indicates that a zero-value test shall be performed on that return value,
• op gives an optional procedure to invoke on a non-zero value,
  e.g. return, panic, or a named handler (defined at package-level or in current function)
• try is a new keyword
• v is an ordinary variable
• := is any declaration or assignment operator
• func f() (int, error)

Possible syntax (choose one)

   f, #return  := os.Open(...)
   f, ?return  := os.Open(...)
   f, @return  := os.Open(...)
   f, {return} := os.Open(...)

   try f, #  := os.Open(...)
   try f, ?  := os.Open(...)
   try f, @  := os.Open(...)
   try f, {} := os.Open(...)

Possible ops

   f, #return := os.Open(...)
   f, #panic  := os.Open(...)
   f, #hname  := os.Open(...) // invoke user-defined handler
   f, #       := os.Open(...) // ignore, or invoke "ignored" handler if defined

   try f, #      := os.Open(...) // return
   try f, #panic := os.Open(...)
   try f, #hname := os.Open(...)
   try f, #_     := os.Open(...) // ignore

Example handlers

   handle fatal (err error) {
      debug.PrintStack()
      log.Fatal(err)
   }

   handle log (err error, clr caller) { 
      fmt.Fprintf(os.Stderr, "%s got %s, continuing\n", clr.name, err)
      // may return the parent function or not, to support recoverable errors
   }
   // caller is a handle-specific type with results of runtime.Caller()

A sub-expression syntax (which has caused complaint in the try() comments) is possible, but only recommended for ignore or panic ops:

f(os.Open#(...))       // ignore
f(os.Open#panic(...))
f(os.Open#p(...))      // any leading substring of panic?

f(#      os.Open(...)) // prefix alternative
f(#panic os.Open(...))

f(os.Open(...) #)      // postfix alternative
f(os.Open(...) #panic)

About that Pesky New Symbol

People seem to dislike #op or @op or ?op, so let's ponder an alternative.

We could define three new keywords (for ops return, panic, invoke). They constrain the return value tested to the last one. To date, try & must have been suggested for return & panic, and we could employ check for invoke. One can already use _ for op ignore, although it looks like a bug, and blank-assigned values can't be logged for debugging.

try   f := os.Open(...)            // return

must  f := os.Open(...)            // panic

check f := os.Open(...) else hname // invoke hname

   f, _ := os.Open(...)            // wait, is that a bug?

I'd rather define one new keyword (or none) and see a symbol with an op that names its action.

Work in Progress

As the try() proposal may be adopted, I leave this proposal in an incomplete state. I may develop it further if the Go team expresses interest.

More possibilities are described in Requirements to Consider for Go 2 Error Handling, but most of them are not "recurring themes".

Who's @networkimprov? Liam is the author of

• Golang, how dare you handle my checks!
• Proposal: the #id/catch error model
• Requirements to Consider for Go 2 Error Handling (referenced in the try() design document)
• I've also done extensive gardening in the feedback wiki
  https://github.com/golang/go/wiki/Go2ErrorHandlingFeedback/_history

[deanveloper]

My main issue with this (and the reason I think that this has so many 👎 s) is because it relies heavily on symbols. Very few things in Go rely on unconventional symbols. The only one that I think Go actually uses (I may be wrong here) is the <- operator for channels - IIRC all other symbols in Go are well-known features in other languages.

[networkimprov]

These four were new to me <- := ... _.

The cost of introducing a new symbol must be weighed against the benefit of cleaner error handling. (Note that a lot of gophers don't believe that eliminating if err != nil is a benefit.)

If the designers proposed this, many would see it as a great advance; succinct yet noticeable :-)

[deanveloper]

If the designers proposed this, many would see it as a great advance; succinct yet noticeable :-)

I'm not sure that authorship is the reason that people aren't liking it, don't blame it on that when there haven't been any responses. Whether or not you mean it this way, it comes off as incredibly selfish to blame others for not liking something that you made. (Selfish may not be the right word but I couldn't figure out a better one).

Also, have you seen the +1 to -1 ratio, and the comments, on #32437? Just because designers propose something doesn't mean that people will like it.

These four [operators] were new to me

In terms of the operators you mentioned - the ... is pretty common (it's called a spread operator and many languages, including old ones, have it). I've seen _ have special meaning in languages as well, typically denoting "something people shouldn't care about". In Python and Javascript they are used to hide private variables (since they don't have concepts of private variables in objects (except new JS, although it's a relatively unknown feature)). In Python however it's used the exact same way as it's used in Go. IIRC C#, Rust, and other languages have a similar feature that uses _ the exact same way that Go does. However if someone isn't well versed in those languages they can definitely be confusing.

I'll admit that := is a bit weird, however. In some languages, := is used for assignment while = would be used for comparison (aka Go's ==). It's also used in mathematics sometimes. I'll admit it's pretty obscure though.

The cost of introducing a new symbol must be weighed against the benefit of cleaner error handling. (Note that a lot of gophers don't want cleaner error handling of any kind.)

But what I'm getting at is that Go code can typically be explained with relative ease because it uses very few obscure symbols, nearly everything is typed out. I don't need to explain to someone what something like f := os.Open#panic(...) means because everything in Go is written out. Explaining that statement would sound something like "well we call os.Open, and the # means that if the error, provided by os.Open, is not nil, then we do something. In this case, we panic". And that'd only get worse as we add complexity.

However, when we write out the full statement, it becomes quite obvious:

f, err := os.Open(...)
if err != nil {
    panic(err)
}

Now it reads as "we call os.Open, and panic if the error is not nil". No need to explain what weird symbols mean.

I am someone who thinks that error handling is fine as it is, so take my words with a grain of salt.

[networkimprov]

Gosh, I wasn't blaming anything on anyone. I was alluding to the high esteem the community has for the designers!

IIRC, the early thumb count on try() was >50% up.

[deanveloper]

Good to hear haha. Comments over text always come off differently as how they are meant.

[networkimprov]

Added above: About that Pesky New Symbol

People seem to dislike #op or @op or ?op, so let's ponder an alternative.

We could define three new keywords (for ops return, panic, invoke). They constrain the return value tested to the last one. To date, try & must have been suggested for return & panic, and we could employ check for invoke. One can already use _ for op ignore, although it looks like a bug, and blank-assigned values can't be logged for debugging.

try   f := os.Open(...)            // return
must  f := os.Open(...)            // panic
check f := os.Open(...) else hname // invoke hname
   f, _ := os.Open(...)            // wait, is that a bug?

I'd rather define one new keyword (or none) and see a symbol with an op that names its action.

Dean, this is not addressed to you; please ignore it :-)

[deanveloper]

Hey hey hey, no need to make it personal haha. I actually quite like it. I know there are a lot of compatibility arguments against something like that, but it really does look nice IMO. I sorta liked solutions like that in the other error handling proposal too.

[fulldump]

Having a special syntax to avoid explicit and in place error handling is IMHO a more way to postpone the problem, a more way to increase tech debt.

[yaa110]

this proposal suggests a Perlish style for Go and makes it tricky to work!