Final 09/03/2017 (Paradigmas)

De Cuba-Wiki

1. Para cada afirmación decidir si es verdadera o falsa y justificar:

a) término M , si es derivable, entonces existe un valor tal que

b) es derivable, y hay un valor tal que y


3. Sea un lenguaje orientado a objetos donde no se permite sobrecarga, decidir si las siguientes situaciones son admitidas por el sistema de tipos o no. Justificar.

a) Se sobrescribe el método de una clase y se reemplaza el tipo del argumento por un subtipo del tipo que tenía en la superclase.

b) Se tiene un atributo de tipo ref t (es un atributo mutable), se lo sobrescribe en una subclase por un tipo ref s, donde s es subtipo de t.