Cursos‎ > ‎Cursadas Anteriores‎ > ‎2019‎ > ‎Mañ-Jueves‎ > ‎Bitácora Jueves Mañana 2019‎ > ‎

02/05 - Restricciones de tipo y Polimorfismo

publicado a la‎(s)‎ 2 may. 2019 13:37 por Alf Sanzo   [ actualizado el 2 may. 2019 14:06 ]
Hoy hicimos el siguiente ejercicio:
Hicimos un pequeño ejercicio de inferencia:
fLoca x y algo otraCosa
| x > y = abs algo
| otherwise = abs otraCosa
En el que se vio que:
  • x está operado con y con el mayor (>) por lo que ambos son del mismo tipo y además deben ser ordenables.
  • algo y otraCosa deben ser del mismo tipo, porque se devuelven en ambas ramas ¡y las funciones deben devolver siempre un mismo tipo!. Además, deben ser números porque se operan con el abs.
Entonces:
fLoca :: (Num b, Ord a) => a -> a -> b -> b -> b

Tarea

  • Terminar/corregir el TP3.
  • En breve liberaremos el  enunciado de la segunda parte del TP Integrador. (cuya entrega es presencial en dos semanas)
  • ¡Corregir los otros TP colgados!
Comments