Dados compactados seguros para tipos em Haskell: Uma abordagem de biblioteca
2025-04-28
Esta postagem de blog resume um artigo a ser apresentado na ECOOP 2025, introduzindo uma biblioteca Haskell para suporte de dados compactados seguro para tipos e portáteis. A biblioteca usa Template Haskell para gerar código para compactar, descompactar e percorrer dados compactados sem exigir modificações no compilador. Os benchmarks mostram algumas melhorias de velocidade, mas também revelam sobrecarga computacional devido à abordagem monádica. O trabalho futuro se concentra na geração de código C para otimização de desempenho.
Desenvolvimento
dados compactados