> Exceptions in all but name. In particular, checked exceptions. This is a very interesting article that discusses the isomorphism between checked exceptions

> Exceptions in all but name. In particular, checked exceptions. This is a very interesting article that discusses the isomorphism between checked exceptions and error return types, they ended up with checked exceptions where a function Foo that may throw must be invoked with "try Foo()" - very similar to Rust's ADT-based macro/syntax. https://joeduffyblog.com/2016/02/07/the-error-model/ https://joeduffyblog.com/2016/02/07/the-error-model/