Données compactées et typage sécurisé en Haskell : une approche par bibliothèque

Cet article de blog résume un article qui sera présenté à ECOOP 2025, introduisant une bibliothèque Haskell pour la prise en charge de données compactées, typées et portables. La bibliothèque utilise Template Haskell pour générer du code permettant de compresser, décompresser et parcourir des données compactées sans modification du compilateur. Les benchmarks montrent quelques améliorations de vitesse, mais révèlent également une surcharge de calcul due à l'approche monadique. Les travaux futurs se concentreront sur la génération de code C pour optimiser les performances.