Repository navigation
catch match for pattern matching exceptions? #239
Description
This goes in line with precedent in other languages with both pattern matching and exceptions.
- OCaml:
try <expr> with <patterns>- Reason:
try (<expr>) { <patterns> } - F# inherits OCaml's syntax even though it's not strictly an OCaml dialect
- Reason:
- Erlang:
try <exprs> catch <patterns> end- Elixir inherits this from Erlang with a slightly different syntax
- Scala:
try { <stmts> } catch { <patterns> } - Swift:
do { <stmts> } catch <pattern> { <stmts> } <more patterns and cases> - C# gets part of the way there with its exception filters
- Ada doesn't have pattern matching as sophisticated as this proposal, but its
begin <stmts> exception <cases> endstatement uses only a minor variation of that for itscasestatement, and its 202x update draft currently features acaseexpression that's essentially itscasestatement but with expressions.
I'm not married to try { <stmts> } catch match { <patterns> } - it just summarizes the idea pretty well.
Activity
ljharb commentedon Feb 2, 2022
This is explicitly out of scope for this proposal. It’s also something i plan to explore once this one advances sufficiently.
theScottyJam commentedon Feb 2, 2022
@isiahmeadows - the README outlines this sort of idea in its "Possible future enhancements" section - not sure if you were trying to echo that section, or if you missed it/forgot about it?
dead-claudia commentedon Feb 2, 2022
Whoops, missed that. Thanks!