Re: [MirageOS-devel] Using Result instead of Option in libraries

[Ashish Agarwal <agarwal1975@xxxxxxxxx>]

On Mon, Oct 17, 2016 at 4:41 PM, Daniel Bünzli <daniel.buenzli@xxxxxxxxxxxx> wrote:

As I said, monadic join.

I wasn't sure if that would cover the patterns that arise. Perhaps it does.

propagated to more generic error data types to the top level or to a logging point.

That's an interesting proposal. So you throw away the precision at some point. It seems a shame, but maybe that's good enough to get most of the value. In my own code, it's not clear to me at what points I would convert specific errors to more general ones, but I'll keep this in mind and see if it could work. Thanks for the idea.

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel