First Draft: opUnwrapIfTrue
Richard (Rikki) Andrew Cattermole
richard at cattermole.co.nz
Mon Sep 21 19:13:33 UTC 2026
It would appear that we have opposite concerns.
I don't care about the error case, with the error case you can always
have an empty or even a poison value to say hey you did something wrong.
I care about the success case, specifically because to get the value,
you must have passed successfully the check, these two operations must
be as one. There is no 'empty' or valid value you can provide if you do
a get without the check on a result that is in an error state.
I know I am not alone with this set of concerns, since other languages
support it!
false < true
true needs more proving than false.
More information about the dip.development
mailing list