Compositional data types

Patrick Bahr, Tom Hvitved

Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

Abstract

Building on Wouter Swierstra's Data types à la carte, we present a comprehensive Haskell library of compositional data types suitable for practical applications. In this framework, data types and functions on them can be defined in a modular fashion. We extend the existing work by implementing a wide array of recursion schemes including monadic computations. Above all, we generalise recursive data types to contexts, which allow us to characterise a special yet frequent kind of catamorphisms. The thus established notion of term homomorphisms allows for flexible reuse and enables short-cut fusion style deforestation which yields considerable speedups. We demonstrate our framework in the setting of compiler construction, and moreover, we compare compositional data types with generic programming techniques and show that both are comparable in run-time performance and expressivity while our approach allows for stricter types. We substantiate this conclusion by lifting compositional data types to mutually recursive data types and generalised algebraic data types. Lastly, we compare the run-time performance of our techniques with traditional implementations over algebraic data types. The results are surprisingly good.
Original languageUndefined/Unknown
Title of host publicationProceedings of the seventh ACM SIGPLAN workshop on Generic programming
Number of pages12
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery
Publication date1 Sept 2011
Pages83-94
ISBN (Print)978-1-4503-0861-8
DOIs
Publication statusPublished - 1 Sept 2011

Keywords

  • algebraic programming, deforestation, mutual recursion, reusability

Cite this