Compositional data types

Patrick Bahr, Tom Hvitved

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer review


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.
TitelProceedings of the seventh ACM SIGPLAN workshop on Generic programming
Antal sider12
UdgivelsesstedNew York, NY, USA
ForlagAssociation for Computing Machinery
Publikationsdato1 sep. 2011
ISBN (Trykt)978-1-4503-0861-8
StatusUdgivet - 1 sep. 2011


  • algebraic programming, deforestation, mutual recursion, reusability