> In summary, the final model featured:
> * ...
# randomf
fellshard
11/11/2016, 8:17 PMIn summary, the final model featured:
* An architecture that assumed fine-grained isolation and recoverability from failure.
* Distinguishing between bugs and recoverable errors.
* Using contracts, assertions, and, in general, abandonment for all bugs.
* Using a slimmed down checked exceptions model for recoverable errors, with a rich type system and language syntax.
* Adopting some limited aspects of return codes – like local checking – that improved reliability.