Datos empaquetados tipo seguro en Haskell: Un enfoque de biblioteca

2025-04-28

Esta publicación de blog resume un artículo que se presentará en ECOOP 2025, que introduce una biblioteca Haskell para el soporte de datos empaquetados tipo seguro y portátil. La biblioteca utiliza Template Haskell para generar código para empaquetar, desempaquetar y recorrer datos empaquetados sin necesidad de modificaciones del compilador. Los puntos de referencia muestran algunas mejoras de velocidad, pero también revelan una sobrecarga computacional debido al enfoque monádico. El trabajo futuro se centra en la generación de código C para la optimización del rendimiento.

Desarrollo datos empaquetados