All these years and Ada is still the undisputed and unmatched master of type safety.