14 ms·All these years and Ada is still the undisputed and unmatched master of type safety.by init1 1y agoAll these years and Ada is still the undisputed and unmatched master of type safety.