31 Jul
2003
31 Jul
'03
10:18 p.m.
This looks like a bizarre rendition of the Error/Exception monad.
Yes, of course. *Hal slaps himself* Thanks.
Also, your motivating example is ambiguous. I think you mainly care about the case where the test is testing for some "exceptional" condition. I personally wouldn't want to use this style every place I would use an if.
Definitely not! :) - Hal