Nevertheless, some languages such as Standard ML, which has rigorously defined semantics, have been proved to meet one definition of type safety.
Παρόλα αυτά, μερικές γλώσσες όπως η Standard ML , η οποία έχει αυστηρά καθορισμένη σημασιολογία, έχουν αποδειχθεί ότι ακολουθούν έναν ορισμό της ασφάλειας τύπων.