Tipos Lineales

Durante la sesión de hoy se estudiará el caso de uso de los tipos lineales y cómo son introducidos en Haskell mediante la extensión LinearTypes.

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

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

También utilicé un proyecto de Cabal con un único ejecutable. Puedes descargar el código para ejecutarlo en el siguiente enlace: Main.hs.

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.