Haskell의 형식 안전한 압축 데이터: 라이브러리 접근 방식

이 블로그 게시글은 ECOOP 2025에서 발표될 논문을 요약한 것입니다. 형식 안전하고 이식 가능한 압축 데이터 지원을 위한 Haskell 라이브러리를 소개합니다. 이 라이브러리는 Template Haskell을 사용하여 컴파일러 수정 없이 압축 데이터의 압축, 압축 해제, 순회를 위한 코드를 생성합니다. 벤치마크 결과 속도 향상이 나타났지만, 모나드적 접근 방식으로 인한 계산 오버헤드도 드러났습니다. 향후 작업은 성능 최적화를 위한 C 코드 생성에 중점을 둘 것입니다.