Comenzamos viendo los últimos temas teóricos que teníamos pendientes:
- Explicamos qué es un Typeclass y cómo se utilizan para tratar polimórficamente distintos tipos de datos. Eso nos permite restringir el tipo de las funciones a distintos tipos.
- Luego descubrimos que las funciones de Haskell están currificadas (en honor a su creador Haskell Curry). ¡Eso significa que todas las funciones son de un solo parámetro! WOOOW
Esto temas están explicados en:
En la segunda mitad de la clase hicimos este ejercicio entre todos. Quedó como tarea terminarlo. Se adjunta el código hecho en clase.
Sugerimos hacer las siguientes guías de Mumuki:
- Guía 9: Práctica de Inferencia de Tipos
- Guía 14: Es una práctica sobre el poder que tiene el paradigma
- Guía 19: Es un histórico TP tomado en UTN
Ya está liberada la segunda parte del TP, pueden encontrarla en la sección de TPs.