# Bikeshed: A consise verb for the \`?\` operator **URL:** \ **Category:** Uncategorized\ **Created:** [April 11, 2018, 7:20am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289 "2018-04-11T07:20:30Z")\ **Posts on this page:** 20\ **Page:** 2
**Author:** ![repax](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/repax/32/1342_2.png) [@repax](https://internals.rust-lang.org/u/repax)\ **Post date:** [April 12, 2018, 10:10pm UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/21 "2018-04-12T22:10:57Z")
I don’t like `throw` or `rethrow` because then the proposed block construct would have to be called `catch` (you catch what is thrown). The problem is that `catch` is already used for panicking in `catch_unwind`, and confounding panics with `impl Try` values will only lead to unnecessary confusion. Instead of _throwing_ and _catching_ I think we should try to find another set of terms to represent the error propagation and the block which represents the fallible action/attempt. ---
**Author:** ![repax](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/repax/32/1342_2.png) [@repax](https://internals.rust-lang.org/u/repax)\ **Post date:** [April 12, 2018, 10:50pm UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/22 "2018-04-12T22:50:10Z")
Instead of `try` or `catch` we could find another name for the block construct. Consider this: a `fn` and a `closure` are both perfectly capable of capturing the errors from `?` without requiring any special keyword. The block construct could have a name that makes you think more of a code routine with a (return) value. Perhaps `proc`? It’s already a reserved keyword. (hasn’t been used since 2014) Now, the `?` operator can have any name not tainted by exception handling. ---
**Author:** ![kornel](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/kornel/32/2711_2.png) [@kornel](https://internals.rust-lang.org/u/kornel)\ **Post date:** [April 13, 2018, 1:37am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/23 "2018-04-13T01:37:37Z")
- `soft unwrap` — like `.unwrap()`, but without panic - `error return` — I like something with **return** in it. Knowing that `?` expands to `match { Err => return }` helps understand it. That knowledge could be compressed in the name itself. ---
**Author:** ![illustrious-you](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/illustrious-you/32/3960_2.png) [@illustrious-you](https://internals.rust-lang.org/u/illustrious-you)\ **Post date:** [April 13, 2018, 1:45am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/24 "2018-04-13T01:45:16Z")
> Now, the ? operator can have any name not tainted by exception handling. `fault` operator? `quit` operator? `live fast die young` operator? ---
**Author:** ![rcoh](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/rcoh/32/3964_2.png) [@rcoh](https://internals.rust-lang.org/u/rcoh)\ **Post date:** [April 13, 2018, 2:48am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/25 "2018-04-13T02:48:08Z")
`return if` `reterr` (short for return error) `retfail` `exiterr` `conditional break` `conditional exit` `bump` `explode` ---
**Author:** ![russelld](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/russelld/32/6891_2.png) [@russelld](https://internals.rust-lang.org/u/russelld)\ **Post date:** [April 13, 2018, 2:49am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/26 "2018-04-13T02:49:28Z")
push (“Explicit Exception Propagation Operator”) ---
**Author:** ![daboross](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/daboross/32/12645_2.png) [@daboross](https://internals.rust-lang.org/u/daboross)\ **Post date:** [April 13, 2018, 4:09am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/27 "2018-04-13T04:09:38Z")
I’m all-in for “try”: there doesn’t seem to be much downside, and it captures the intent “try to get this value”. It’s not general exception handling, because `Result::Err` is not an “exceptional” case. `Result` is a data type like anything else, and `?` is fundamentally unpacking that data type- not re-throwing an exceptional error. It’s trying to get the contents of something, and early-returning otherwise. ---
**Author:** ![steven099](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/steven099/32/3871_2.png) [@steven099](https://internals.rust-lang.org/u/steven099)\ **Post date:** [April 13, 2018, 5:10am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/28 "2018-04-13T05:10:01Z")
> [@repax](#): > > I don’t like throw or rethrow because then the proposed block construct would have to be called catch (you catch what is thrown). I’m all for that. `?` stays the 'try' operator, and marks expressions that might produce errors; `catch` limits error propagation. People coming to the language will see that it's idiosyncratic, but will have a correct intuition about what each piece does. Yes, `catch` is syntactically different than it is in other languages, but that's because it's invariant and doesn't require any handlers, so you can just catch the block rather than having a block and putting `catch` as a postfix operation. `catch_unwind` is a library function and doesn't present a real learnability hazard. People will generally encounter it long after `try`/`catch` and know that catching panic unwinding is a distinct operation by that point. The distinction is in the name. The parallels to exception handling in other languages are actually fairly apt and thus will help people learn how to use it, so the feature isn't tainted by them. > [@repax](#): > > Consider this: a fn and a closure are both perfectly capable of capturing the errors from ? without requiring any special keyword. The block construct could have a name that makes you think more of a code routine with a (return) value. Perhaps proc? It’s already a reserved keyword. (hasn’t been used since 2014) This also suggests it should stop a `return`, which is unfortunate. You can already just use an immediately-invoked function if that's what you want. `do` could work, but it's so general of a term that it's not really suggestive of the intended use. It would probably work better as a way to evaluate more general reified control flow. `block` would be a bit on the nose, and doesn't distinguish from the normal blocks that already exist in the language. However you have to write it, people know what a `catch` operation does. Even if we went with `try` blocks, people would still probably grasp what the intended behaviour is. You can't get that if you invent new terminology. Anyways, 'maybe' is actually growing on me, though I'm still concerned about it increasing confusion with option-chaining. I've noticed that I call `?Sized` "maybe sized". ---
**Author:** ![parasyte](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/parasyte/32/8925_2.png) [@parasyte](https://internals.rust-lang.org/u/parasyte)\ **Post date:** [April 13, 2018, 6:45am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/29 "2018-04-13T06:45:59Z")
`bubble` because it bubbles errors. I also thought `bail` was a decent choice, but sounds a little scary. At least `bubble` has a very friendly rainbows-and-unicorns feel. ---
**Author:** ![Centril](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/centril/32/3334_2.png) [@Centril](https://internals.rust-lang.org/u/Centril)\ **Post date:** [April 13, 2018, 7:11am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/30 "2018-04-13T07:11:20Z")
Bubble does sound nice. It has the same meaning as propagate but it is shorter, shinier, and simpler. ---
**Author:** ![liigo](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/liigo/32/454_2.png) [@liigo](https://internals.rust-lang.org/u/liigo)\ **Post date:** [April 13, 2018, 7:37am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/31 "2018-04-13T07:37:48Z")
`?` does one of the two actions: - the likely path, it try read/unwrap the ‘success value’ a function returns; - the unlikely path (if the try fails), it returns/propagates the ‘error value’. I can’t provide a full description in a few short words. Perhaps… the `try operator` is still the best, which should not be changed. ---
**Author:** ![gbutler](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/gbutler/32/3670_2.png) [@gbutler](https://internals.rust-lang.org/u/gbutler)\ **Post date:** [April 13, 2018, 11:40am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/32 "2018-04-13T11:40:43Z")
Bubble is the first word for this proposed that I’ve liked! +10 for Bubble! ---
**Author:** ![runiq](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/runiq/32/3374_2.png) [@runiq](https://internals.rust-lang.org/u/runiq)\ **Post date:** [April 13, 2018, 1:33pm UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/33 "2018-04-13T13:33:01Z")
- `eh` (the Canadian version) - `hope` (because it is for the most part concerned with the happy path) Edit: For real, though, I like `bubble` very much. ---
**Author:** ![Tom-Phinney](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/tom-phinney/32/3299_2.png) [@Tom-Phinney](https://internals.rust-lang.org/u/Tom-Phinney)\ **Post date:** [April 13, 2018, 2:07pm UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/34 "2018-04-13T14:07:55Z")
> [@runiq](#): > > eh (the Canadian version) 👍😃 This is a great choice: it's succinct and expresses the equivocation inherent in the operator. Re „rethrow", since the etymology of that word is „repeat throw", doesn't that imply the pre-existence of „throw"? ---
**Author:** ![Nokel81](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/nokel81/32/3966_2.png) [@Nokel81](https://internals.rust-lang.org/u/Nokel81)\ **Post date:** [April 13, 2018, 2:23pm UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/35 "2018-04-13T14:23:10Z")
As a Canadian I would love for it to be called the `eh` operator but bubble makes more sense ---
**Author:** ![Centril](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/centril/32/3334_2.png) [@Centril](https://internals.rust-lang.org/u/Centril)\ **Post date:** [April 13, 2018, 2:30pm UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/36 "2018-04-13T14:30:43Z")
@scottmcm As another Canadian, what do you say aboat “`eh?`”, eh? ---
**Author:** ![russelld](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/russelld/32/6891_2.png) [@russelld](https://internals.rust-lang.org/u/russelld)\ **Post date:** [April 13, 2018, 11:42pm UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/37 "2018-04-13T23:42:08Z")
So the action would be “to bubble”? Or would you “Pop the bubble”? 😉 ---
**Author:** ![gbutler](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/gbutler/32/3670_2.png) [@gbutler](https://internals.rust-lang.org/u/gbutler)\ **Post date:** [April 14, 2018, 1:05am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/38 "2018-04-14T01:05:39Z")
How about the, “Bubbles” Operator? Because, you know, unlike Corey & Trevor, who always fail, “Bubbles” usually “gets it done”, but, he’ll report back if he can’t reliably get the job done. So, the “Bubbles” operator bubbles up failures, but, usually just gets the job done (unlike Corey & Trevor). This also has the magnanimous feature of tying back to Canada, eh? Then, when things fail we can, “Blame Canada! Blame Canada!” ---
**Author:** ![gbutler](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/gbutler/32/3670_2.png) [@gbutler](https://internals.rust-lang.org/u/gbutler)\ **Post date:** [April 14, 2018, 1:24am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/39 "2018-04-14T01:24:06Z")
Another possibility: VOMIT Because, the ? operator “throws up and returns” any error (bad stuff) to the caller. So, it could be the “vomit operator”. You could say things like, “I called foo with bar and it vomited Error(baz)!”. If that’s too harsh, how about, one of these: - hurl (nice because a synonym for both “throw” and “vomit”) - expel - eject I kinda like, “hurl”! (But, I’m still partial to “Bubbles” (not “Bubble”)). It’s the “Bubbles Operator”, It’s the “Vomit Operator”, It’s the “Hurl Operator”. “Hurl” or “Bubbles” definitely! “Hurl” works nice with “Catch”. ```rust let x = catch { SomethingFallible()?; ... } ``` Explanation would be: If something fallible hurls an error I’ll catch it and assign it to x; otherwise, I’ll assign to x whatever the final result of the block is. -or- If something fallible bubbles and error I’ll catch it and assign it to x; otherwise, I’ll assign to x whatever the final result of the block is. When coupled with “catch”, “hurl” works better than “bubbles”, but, I still like “bubbles” a lot. ---
**Author:** ![gbutler](https://sea2.discourse-cdn.com/flex002/user_avatar/internals.rust-lang.org/gbutler/32/3670_2.png) [@gbutler](https://internals.rust-lang.org/u/gbutler)\ **Post date:** [April 14, 2018, 1:46am UTC](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289/40 "2018-04-14T01:46:28Z")
Argument for “eject”: “Eject Operator” works good because it invites the vision of ejecting from an aircraft when something goes wrong. It is different from “throw/try” (in exception-based language) so having a different name that still evokes the right kind of mental model is good. Also, “eject” would work good with the idea of “catch” blocks, but, in this case calling them “land” blocks might be better: ```rust let x = land { somethingFallible()?; ... rv } ``` Explanation: If something fallible ejects and error, from the “Eject Operator” (?), then I’ll land the error and assign it to x; otherwise, I’ll just land the final result of the block and assign it to x. ```rust fn Foo() -> Result { ... let t : T = SomethingFallible()?; t } ``` Explanation: Function foo will return a Result\. When it calls something fallible, if something fallible returns an error, the “Eject Operator” will eject the Error as the return value of Foo; otherise, the non-error return value will be returned. I think the above sort of language gives the right mental models without using the same language (try/throw/catch) as exception-based languages, but, clearly conveys that the ideas are similar, but, different. [Previous page](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289.md?page=1) [Next page](https://internals.rust-lang.org/t/bikeshed-a-consise-verb-for-the-operator/7289.md?page=3)