Tipos Lineales (Parte 2)
Durante la sesión de hoy se continúa el estudio de los tipos lineales mediante la extensión de Haskell LinearTypes y algunas aplicaciones en donde resultan de utilidad.
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: Sesion12.ipynb.
O puedes visualizar el material con los resultados ya ejecutados en: Notebook en Línea
Referencias
- Linear types en GHC User Notes.
- linear-base makes writing Linear Haskell easy and fun por Divesh Otwani & Utku Demir
- Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language por Jean-Philippe Bernardy, Mathiue Boespflug, Ryan R. Newton, Simon Peyton Jones & Arnaud Spiwack.
- Linear Types por Constantine Ter-Matevosian.