Tipos

    Durante la sesión de hoy revisamos los siguientes temas:

    • Introducción a Tipos Polimórficos
    • Tipos Algebráicos
    • Tipos Fantasma (Phantom Types)

    No fuimos exhaustivos en el contenido, pues aún falta ver algunos temas durante las sesiones de teoría para poder entender por completo el material. Pero sí es recomendable ir formando familiaridad con tales nociones.

    Material

    Durante la sesión utilicé un Notebook de Jupyter para escribir y compilar el contenido de Haskell.

    Puedes descargar el notebook para ejecutarlo en tu propia instancia de iHaskell en el siguiente enlace: Sesion2.ipynb.

    O puedes visualizar el material con los resultados ya ejecutados en: Notebook en Línea

    Referencias

    Utilicé este contenido como referencia para preparar el material.