Has anyone considered haskell's monadic errors? As far as the end user is concerned, it's pretty much equivalent to exceptions, but minus the stack-jumping-ness of true exceptions. Since at it's heart it's just returning values of either<T,U>, I would imagine it wouldn't break typestate:
http://www.randomhacks.net/articles/2007/03/10/haskell-8-ways-to-report-errors _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
