Declared Errors vs Unforeseen Defects
A ZIO value has a type parameter
E which is the type of declared errors it can fail with.
E only covers the errors which were specified at the outset. The same ZIO value could still throw exceptions in unforeseen ways. These unforeseen situations are called defects in a ZIO program, and they lie outside E.
Bringing abnormal situations from the domain of defects into that of
E enables the compiler to help us keep a tab on error conditions throughout the application, at compile time. This helps ensure the handling of domain errors in domain specific ways. Defects, on the other hand, can creep silently to higher levels in our application, and, if they get triggered at all, their handling might eventually be in more general ways.
Lossless Error Model
ZIO holds onto errors, that would otherwise be lost, using
try finally. If the
try block throws an exception, and the
finally block throws an exception as well, then, if these are caught at a higher level, only the finalizer's exception will be caught normally, not the exception from the try block.
Whereas, ZIO guarantees that no errors are lost. This guarantee is provided via a hierarchy of supervisors and information made available via datatypes such as
Cause. All errors will be reported. If there's a bug in the code, zio enables us to find about it.