Vijay Saraswat provides the following definition: "A language is type-safe if the only operations that can be performed on data in the language are those sanctioned by the type of the data."
Ο Vijay Saraswat δίνει τον ακόλουθο ορισμό: “Μία γλώσσα είναι ασφαλής ως προς τους τύπους αν όλες οι λειτουργίες που μπορούν να εφαρμοστούν σε δεδομένα της γλώσσας είναι αυτές που είναι καθορισμένες από τον τύπο των δεδομένων”.