Edición de «Final 19/09/2017 (Paradigmas)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
| Revisión actual | Tu texto | ||
| Línea 1: | Línea 1: | ||
1. Dado <math> M = \lambda x: \sigma \rightarrow \sigma.\lambda y: \sigma.x\ y </math> | 1. Dado <math> M = \lambda x: \sigma \rightarrow \sigma.\lambda y: \sigma.x\ y </math> | ||
## Existe <math> V </math> tal que <math> fix\ M \twoheadrightarrow V ? </math> | ## Existe <math> V </math> tal que <math> fix\ M \twoheadrightarrow V ? </math> | ||
## Existe <math> V </math> tal que <math> fix\ | ## Existe <math> V </math> tal que <math> fix\ M (\lambda x: \sigma.x) \twoheadrightarrow V ? </math> | ||
2. Pregunta de subtipado que no recuerdo bien. Tenía dos clases (una era subclase de la otra), y pregunta si puedo usar un supertipo de uno de los parámetros de la función de la superclase en una función sobreescrita por la subclase. Pregunta similar pero con ref (siendo este un atributo de la subclase)<br> | 2. Pregunta de subtipado que no recuerdo bien. Tenía dos clases (una era subclase de la otra), y pregunta si puedo usar un supertipo de uno de los parámetros de la función de la superclase en una función sobreescrita por la subclase. Pregunta similar pero con ref (siendo este un atributo de la subclase)<br> | ||
3. Prolog. | 3. Prolog. | ||
