Robin Milner provided the following slogan to describe type safety: Well-typed programs cannot "go wrong".
Ο Robin Milner χρησιμοποίησε την εξής έκφραση για να περιγράψει την ασφάλεια τύπων:”Τα προγράμματα με καλό σύστημα τύπων ποτέ δεν είναι λανθασμένα.”