El hecho de que muchos lenguajes no permitan la instanciación de tipos abstractos (y fuercen a los subtipos a implementar todas las funcionalidades necesarias) asegura todavía más la corrección del programa.