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.
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?
-
Yes it works if you use try indirectly; handlers are abstractable. To handle `async`-like effects you'd have to build on a platform that supports lightweight coroutines (Loom might qualify).
- Show replies
New conversation -
-
-
Wow, very cool. Really wonder why people assumed this would be the same as Java checked exceptions..
-
The PR was first called "Checked Exceptions"
End of conversation
New conversation -
-
-
That’s very interesting.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
If I read this correctly, it’s almost a proof of concept for a large subset of algebraic effects (it’s lacking continuations, unless I missed something). Is this the intent and can we look forward to full fledged algebraic effects in the future?
-
That's how I interpreted it. It's exciting.
- Show replies
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.