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