02/05 - Restricciones de tipo y Polimorfismo - Paradigmas de Programación

publicado a la‎(s)‎ 2 may 2019 13:37 por Alf Sanzo [ actualizado el 2 may 2019 14:06 ]

Hoy hicimos el siguiente ejercicio:

Tablita de inferencia de tipos: para completar y completa.
Ahí también está el gráfico ejemplo de las clases de tipos.
En las prácticas 3 y 4 de Mumuki pueden repasar lo visto en clase.
Explicación de Typeclasses en la wiki.
Y por supuesto el apunte muuuuy completo y bien explicado de Sistema de Tipos de Haskell.
Hay un video de 30' de clase explicando la primera parte de esto.
Del gran libro Aprende Haskell por el Bien de Todos, el capítulo de tipos.

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

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