IMO Rust really got errors right, a sum type is the way to go. Not exceptions, multiple return, callback arguments, or sentinels. Encoding the control flow into

IMO Rust really got errors right, a sum type is the way to go. Not exceptions, multiple return, callback arguments, or sentinels. Encoding the control flow into the type system makes your code much more robust.