This pull request by @odersky adds checked exceptions to Scala 3.
https://github.com/lampepfl/dotty/pull/11721 …pic.twitter.com/LkSB7xmu9S
I realize that checked exceptions generate a lot of heat, but please hold off with discussions for a bit. It's a draft pull request for a feature under an experimental flag. And I still have to write docs that explain what it does exactly.
-
-
-
Interesting is the popularity of the library bringing kind of evil to Rust. I would prefer removing it from Scala as well (and I do by disabling it on the compiler level thanks to Wartremover). Java's 3rd party code I wrap into Try. Using Try or Either incredibly improves things.
- Show replies
New conversation -
-
-
Here's the doc page that describes the experimental PR to make exceptions safer.https://github.com/dotty-staging/dotty/blob/add-safe-throws-2/docs/docs/reference/experimental/canthrow.md …
-
This looks interesting. Does this also automatically work if you use `try-catch` indirectly, for example with a `Try(_)` or `Future(_)`? Also interested if you have any thoughts on this could work with potential `async` effects?
- Show replies
New conversation -
-
-
Are we going to have a SIP for this new feature?
-
It can exist in the compiler without a SIP only if it is not "on" by default, i.e. it requires a compiler flag. The alternative to having this "halfway house" for experimental features is that the SIP committee would have to judge new features without widespread usage data.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.