fsharp / fsharp/fslang-suggestions

Support "Raise" keywords in computation expressions

Open
#613 7 comments 13 reactions 0 assignees View on GitHub
approved-in-principle area: computation-expressions
Dominant language
No language data
Stars
373
Forks
21
PR merge metrics
No merged PRs in 30d

Description

# Support "Raise" keywords in computation expressions

I propose we add support for a `Raise : exn -> M<'T>` computation expression method. This would address two issues:

1) Provide a native way of throwing inside computation expressions: we could write `raise! Exception()` instead of `return raise Exception()`.

2) Solve an issue related to desugaring partial exception handling code. Currently the handler of `try ... with pattern exn -> cexpr` desugars into `fun exn -> if pattern exn then cexpr else raise exn`. This results in a) loss of stacktrace info and b) phantom breaks happening when debugging an application. The presense of a `Raise()` builder could allow the compiler to desugar a handler into `fun exn -> if pattern exn then cexpr else builder.Raise exn` which provides a finer grain of control to the computation expression author.

## Pros and Cons

The advantages of making this adjustment to F# are stated above.

The disadvantages of making this adjustment to F# are confusion among beginners on the differences between `return raise e` and `raise! e`

## Extra information

Estimated cost (XS, S, M, L, XL, XXL): M

## Affidavit (please submit!)

Please tick this by placing a cross in the box:
* [x] This is not a question (e.g. like one you might ask on [stackoverflow](http://stackoverflow.com)) and I have searched stackoverflow for discussions of this issue
* [x] I have [searched both open and closed suggestions on this site](http://github.com/fsharp/fslang-suggestions/issues) and believe this is not a duplicate
* [x] This is not something which has obviously "already been decided" in previous versions of F#. If you're questioning a fundamental design decision that has obviously already been taken (e.g. "Make F# untyped") then please don't submit it.

Please tick all that apply:
* [x] This is not a breaking change to the F# language design
* [ ] I or my company would be willing to help implement and/or test this

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.