In the context of static (compile-time) type systems, type safety usually involves (among other things) a guarantee that the eventual value of any expression will be a legitimate member of that expression's static type.
Στο περιβάλλον των στατικών(κατά το χρόνο μεταγλώττισης) συστημάτων τύπων, η ασφάλεια τύπων συνήθως εμπλέκει(ανάμεσα και σε άλλα πράματα) μία εγγύηση ότι η ενδεχόμενη τιμή κάθε έκφρασης θα είναι ένα νόμιμο μέλος του στατικού τύπου της έκφρασης.