[Discussion] Early return notation improvement

[pierremrtn]

Nice package!

By looking at this:

Result<int, String> innerErrFn() => Err("message");
Result<int, String> earlyReturn() => Result(($) { // Early Return Key
   int y = 2;
   // The function will return here will the Err value;
   int x = innerErrFn()[$];
   return Ok(x.unwrap() + y);
 });

expect(earlyReturn().unwrapErr(), "message");

I wonder if the early return notation can't be improved. Why not do something like:

Result<int, String> earlyReturn() => Result(() { // Early Return Key
   int y = 2;
   // The function will return here will the Err value;
   int x = innerErrFn().returnErr;
   return Ok(x.unwrap() + y);
 });

I guess .returnErrcan throw an err which can be caught by Result().
This would avoid the annoying [$] notation

[mcmah309]

Hey thanks, glad you like it! The reason for the $ is that it is a contract. $ is a _ResultEarlyReturnKey<F>. Which can only be created from the Result(($){}) context and if a value being operated on is an err, it throws a _ResultEarlyReturnNotification<F>, which can only be created inside the [$] and only caught explicitly by Result(($){}). This all together makes it so you can never get the inner value in a non-safe context. Therefore the code is safe.

[mcmah309]

Closing due to lack of activity. Feel free to re-open if anything comes up. Moved to a discussion.