Tipos Existenciales

    Durante la sesión de hoy se estudiará el caso de uso de los tipos existenciales, y cómo son emulados en Haskell. Esto mediante el uso de la extensión ExistentialQuantification.

    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: Sesion10.ipynb.

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

    Referencias