GADTs
Durante la sesión de hoy estudiaremos la extensión de Haskell GADTs para el uso de Tipos de Datos Algebráicos Generalizados.
Revisaremos un ejemplo de su uso mediante la codificación de Vectores, junto con tipos fantasma.
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: Sesion6.ipynb.
O puedes visualizar el material con los resultados ya ejecutados en: Notebook en Línea