FINAL PARADIGMAS DE PROGRAMACIÓN                                                                   23/02/2013

Ejercicio 1 En una wiki, los usuarios pueden subir distintos tipos de contenidos, como ser texto e imágenes. En caso de ser demasiado pesados, antes de subir los contenidos la wiki realiza ciertas acciones sobre ellos, como por ejemplo, comprimir las imágenes o indexar el texto (usando complejos algoritmos que no nos interesan). Un programador desarrolló la siguiente solución: #Wiki vi: contenidos >>subirContenido: unContenido  (self demasiadoPesado: unContenido) ifTrue: [     unContenido esImagen        ifTrue: [ unContenido comprimir ]        ifFalse: [ unContenido indexar ].      ]  contenidos add: unContenido

>> demasiadoPesado: unContenido  unContenido esImagen ifTrue: [    ^unContenido tardaEnSubir  ] ifFalse: [    unContenido esTexto ifTrue: [     ^ unContenido tardaEnSubir > 10000    ] ]

#Contenido “Clase vacía”

#Texto (hereda de Contenido)

#Imagen (hereda de Contenido)

vi: descripcion

vi: cantidadPixeks

>>tardaEnSubir   ^descripcion size * 10

>>tardaEnSubir   ^cantidadPixels >indexar    “acá va un complejo algoritmo de indexación”

>>comprimir      “acá va un complejo algoritmo de compresión”

>>esImagen   ^false

>>esImagen   ^true

>>esTexto   ^true

>>esTexto   ^false

Y justificó lo siguiente: a. "En la solución se hace un buen uso del polimorfismo, dado que a una wiki no le importa el tipo de b. c. d. e.

contenido que tiene que agregar, siempre que el contenido sepa decirme si es imagen” "Para que los contenidos sean polimórficos, todas las clases de contenidos deben heredar de una clase común: Contenido.” “Acá hay otro buen ejemplo de polimorfismo: tanto la imagen como el texto entienden tardaEnSubir” “Como no tiene métodos, podemos decir que Contenido es una clase abstracta" “Más allá de que no sepamos cómo están implementados los métodos indexar y comprimir, estos tienen con seguridad efecto colateral”

1. Indicar si concuerda con cada una de las afirmaciones anteriores y justificar su postura. 2. ¿Qué pasaría si se agregara un nuevo contenido que no es ni imagen ni texto (tanto #esTexto como #esImagen retornan false)? 1

FINAL PARADIGMAS DE PROGRAMACIÓN                                                                   23/02/2013

3. A partir de los puntos anteriores desarrollar una nueva solución que corrija los errores mencionados, más aquellos adicionales que se encuentren. 4. ¿Qué dificultades encontraría si quisiera implementar la misma solución en el paradigma funcional? Justificar conceptualmente

Ejercicio 2 Dos reconocidos programadores hicieron cada uno un sistema de clasificación de varitas mágicas. Aquí se encuentra una porción del código que escribieron: Uno lo hizo en Haskell:

Otro lo hizo en Prolog:

queTiene “harry” = (“acebo”,28,”plumaFenix”) queTiene “ron” = (“sauce”,35,”peloUnicornio”) queTiene “bellatrix” = (“nogal”,32,”nervioDragon”) queTiene “tom” = (“tejo”,33,”plumaFenix”)

tiene(harry, varita(acebo,28,plumaFenix)). tiene(ron, varita(sauce,35,peloUnicornio)). tiene(bellatrix, varita(nogal,32,nervioDragon)). tiene(tom, varita(tejo,33,plumaFenix)).

1. Indicar, para cada una de las siguientes consultas, cual es la respuesta del intérprete, y justificando en todos los casos el ó los conceptos que aparezcan. Si la consulta lanza un error, indicar claramente de qué tipo de error se trata. a. Haskell: queTiene 45 b. Prolog:   tiene(45,Que). c. Haskell: queTiene “hermione” d. Haskell: queTiene 2. Escribir (en Prolog) una consulta que me permita saber si existe alguien con una varita de 35 cm. ¿Es igualmente simple hacer esta consulta en Haskell? ¿Porqué? 3. Harry consigue la varita de Saúco y ahora tiene 2 varitas.  Modelar dicha situación en ambos lenguajes, y señalar cómo los conceptos de función y relación son aprovechados o limitan las soluciones. 4. Dada una lista de varitas, se desea saber la madera de cada una de ellas (su primera componente). a. Desarrollar  esta  funcionalidad  en  ambos lenguajes. ¿Qué concepto aparece en ambos  casos y cómo nos ayuda? ¿Qué ocurriría si no contáramos con ese concepto? b. Para  la solución Haskell dar, además, el tipo más general para la función principal que resuelve el problema c. Suponga  que  la  lista  de  varitas  es  muy  grande,  potencialmente  infinita. ¿Cómo  se comportaría cada   una  de  las  dos  soluciones  bajo  este  supuesto?  Dar al  menos  un  ejemplo  de  consulta  y respuesta  donde  la  evaluación  termina  y  otro  ejemplo  donde  no,  para  cada  solución,  si  es posible.

2