Haskell Packed Data 库：无需编译器修改的类型安全打包数据支持

这篇文章总结了一篇即将在 ECOOP 2025 上发表的论文，该论文介绍了一个 Haskell 库，它允许对数据进行打包和解包，并在无需解包步骤的情况下遍历打包数据。该库利用 Template Haskell 生成必要的代码，无需修改编译器即可实现类型安全且可移植的打包数据支持。虽然在基准测试中展现出一些速度提升，但也存在由单子抽象带来的计算开销。未来工作将集中在生成 C 代码以优化性能。