It bothers me when people treat it as obvious that exceptions are bad for programming languages. Go programmers love to do that.
> reason mathematically about the code, not experiment with it to see if it throws these exceptions or retries
Do you consider `panic` (in Go or Rust) a "hidden jump"?
The thing that annoys me about exceptions is that they can be slower that you'd think, make safety analysis really hard (i.e. regular control flow isn't too bad, exceptional control flow can be weird), and are a pain to implement. And with Go I don't think of those things as being a priority.