Type safety is ultimately aimed at excluding other problems, e.g.:- Prevention of illegal operations.
Η ασφάλεια τύπων στοχεύει να αποκλείσει άλλα προβλήματα, όπως:- Εμπόδιση των μη νόμιμων λειτουργιών.