Haskellにおける型安全なパックデータ：ライブラリアプローチ

この記事は、ECOOP 2025で発表される論文の概要です。型安全で移植可能なパックデータのサポートのためのHaskellライブラリを紹介しています。このライブラリは、Template Haskellを使用して、コンパイラの修正なしで、パックデータのパック、アンパック、トラバーサルのためのコードを生成します。ベンチマークでは、速度の向上が見られますが、モナド的なアプローチによる計算オーバーヘッドも明らかになりました。今後の作業は、パフォーマンス最適化のためのCコードの生成に焦点を当てています。