Ghost of Departed Proofs
Durante la sesión de hoy vimos un poco sobre la técnica "Ghost of Departed Proofs", que utiliza los tipos fantasma para realizar demostraciones al nivel de tipos.
Esto es la base para su práctica de laboratorio. La práctica está disponible en GitHub Classroom, pueden descargarla desde el enlace en Google Classroom.
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: Sesion3.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.