Compositional data types

Patrick Bahr, Tom Hvitved

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer 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.
    OriginalsprogUdefineret/Ukendt
    TitelProceedings of the seventh ACM SIGPLAN workshop on Generic programming
    Antal sider12
    UdgivelsesstedNew York, NY, USA
    ForlagAssociation for Computing Machinery
    Publikationsdato1 sep. 2011
    Sider83-94
    ISBN (Trykt)978-1-4503-0861-8
    DOI
    StatusUdgivet - 1 sep. 2011

    Emneord

    • algebraic programming, deforestation, mutual recursion, reusability

    Citationsformater