In languages that allow side effects, like most object-oriented languages, subtyping is generally not sufficient to guarantee that a function can be safely used in the context of another.
Σε γλώσσες που επιτρέπουν παρενέργειες, όπως οι περισσότερες αντικειμενοστρεφείς γλώσσες, η σχέση υποτύπου γενικά δεν επαρκεί για να διασφαλίσει ότι μια συνάρτηση μπορεί να χρησιμοποιηθεί με ασφάλεια στο πλαίσιο μιας άλλης.