Ballerina's Error-Sum Type and Native Fault-Tolerance in Service Architecture
Ballerina's sum-type error model and native fault-tolerance constructs make errors explicit in the type system and encode retry, timeout, and circuit-breaker policies into service bindings, shaping resilient trust boundaries and failure domains.